Masaya Shimakawa

According to our database1, Masaya Shimakawa
  • authored at least 13 papers between 2009 and 2017.
  • has a "Dijkstra number"2 of six.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Safraless LTL synthesis considering maximal realizability.
Acta Inf., 2017

2016
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci., 2015

Reducing Bounded Realizability Analysis to Reachability Checking.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

2014
Bounded Strong Satisfiability Checking of Reactive System Specifications.
IEICE Transactions, 2014

Minimal strongly unsatisfiable subsets of reactive system specifications.
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.
Proceedings of the Formal Methods and Software Engineering, 2014

2013
Modular analysis of gene networks by linear temporal logic.
J. Integrative Bioinformatics, 2013

Complexity of Strong Satisfiability Problems for Reactive System Specifications.
IEICE Transactions, 2013

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.
Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
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.
Proceedings of the Signal Processing and Information Technology, 2012

2009
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009


  Loading...