Masaya Shimakawa

According to our database, Masaya Shimakawa authored at least 22 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Security Risk Growth Models for Software Vulnerability Assessment.

Takashi Minohara, Masaya Shimakawa

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.

Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki

IEICE Trans. Inf. Syst., October, 2022

Efficient Realizability Checking by Modularization of LTL Specifications.

Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Comput. J., 2022

2020

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.

Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2019

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.

Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Verification of Verifiability of Voting Protocols by Strand Space Analysis.

Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

2017

Safraless LTL synthesis considering maximal realizability.

Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Acta Informatica, 2017

Modularization of formal specifications or efficient synthesis of reactive systems.

Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

Web server access trend analysis based on the Poisson distribution.

Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.

Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

Qualitative analysis of gene regulatory networks by temporal logic.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Theor. Comput. Sci., 2015

Reducing Bounded Realizability Analysis to Reachability Checking.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Reachability Problems - 9th International Workshop, 2015

2014

Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

IEICE Trans. Inf. Syst., 2014

Minimal strongly unsatisfiable subsets of reactive system specifications.

Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.

Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Formal Methods and Software Engineering, 2014

2013

Modular analysis of gene networks by linear temporal logic.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

J. Integr. Bioinform., 2013

Complexity of Strong Satisfiability Problems for Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

IEICE Trans. Inf. Syst., 2013

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Formal Analysis of Gene Networks Using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013

2012

Complexity of Checking Strong Satisfiability of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Signal Processing and Information Technology, 2012

2009

Extracting Environmental Constraints to Make Reactive System Specifications Realizable.

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009