島川 昌也

Security Vulnerability Risk Growth Model based on CVSS 4.0. 

DSN-S 261-262 2025年  

Security Risk Growth Models for Software Vulnerability Assessment. 

53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks(DSN-W) 32-35 2023年  

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications 

IEICE Transactions on Information and Systems E105D(10) 1665-1677 2022年10月  

Efficient Realizability Checking by Modularization of LTL Specifications 

Computer Journal 65(10) 2801-2814 2022年10月1日  

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic 

ACM International Conference Proceeding Series 17-20 2020年2月18日  

Verification of Verifiability of Voting Protocols by Strand Space Analysis. 

Proceedings of the 8th International Conference on Software and Computer Applications(ICSCA) 363-368 2019年  

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. 

Proceedings of the 8th International Conference on Software and Computer Applications(ICSCA) 347-352 2019年  

Towards Improvement of Realizability Checking for Reactive System Specifications by Simplification of Infinite Games 

Workshop on Computation: Theory and Practice (WCTP2018) 2018年9月  

Efficiency of the strong satisfiability checking procedure for reactive system specifications 

AIP Conference Proceedings 1955 2018年4月18日  

Safraless LTL synthesis considering maximal realizability 

Acta Informatica 54(7) 655-692 2017年11月1日  

Towards Improvements of Bounded Realizability Checking 

Preproceedings of Workshop on Computation: Theory and Practice (WCTP2017) 2017年9月  

Discussion on Verification of Voting Protocols 

Proceedings of the 17th Philippine Computing Science Congress 2017年3月  

Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames 

Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017) 2017年3月  

Web server access trend analysis based on the Poisson distribution. 

Proceedings of the 6th International Conference on Software and Computer Applications(ICSCA) 256-261 2017年  

Modularization of formal specifications or efficient synthesis of reactive systems. 

Proceedings of the 6th International Conference on Software and Computer Applications(ICSCA) 208-213 2017年  

Discussion of LTL Subsets for Efficient Verification 

Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016) 1-14 2016年9月  

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior 

Proceedings - 4th FME Workshop on Formal Methods in Software Engineering, FormaliSE 2016 15-21 2016年5月14日  

Towards Unbounded Realizability Checking 

Preproceedings of Workshop on Computation: Theory and Practice (WCTP2015) 80-90 2015年9月  

Qualitative analysis of gene regulatory networks by temporal logic 

Theoretical Computer Science 594 151-179 2015年8月23日  

Reducing Bounded Realizability Analysis to Reachability Checking. 

Reachability Problems - 9th International Workshop(RP) 140-152 2015年