Masaya Shimakawa

Safraless LTL synthesis considering maximal realizability

Takashi Tomita, Atsushi Ueno, Masaya Shimakawa et al. · Acta Informatica · 2016 · 22 citations · Full text

Computing, Computer Engineering, Computer Science +11

Extracting Environmental Constraints to Make Reactive System Specifications Realizable

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa et al. · 2009 · 13 citations

Engineering, Computer Engineering, Computer Science +11

Complexity of Strong Satisfiability Problems for Reactive System Specifications

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki · IEICE Transactions on Information and Systems · 2013 · 12 citations · Full text

Computing, Computer Science, Real-time Systems +11

Qualitative analysis of gene regulatory networks by temporal logic

Sohei Ito, Takuma Ichinose, Masaya Shimakawa et al. · Theoretical Computer Science · 2015 · 12 citations · Full text

Computing, Computer Science, Biological Systems Modeling +14

Minimal strongly unsatisfiable subsets of reactive system specifications

Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa et al. · 2014 · 10 citations · Full text

Computing, Computer Science, Algorithms +10