Extracting Environmental Constraints to Make Reactive System Specifications Realizable. - Shigeki Hagihara; Yusuke Kitamura; Masaya Shimakawa; Naoki Yonezaki (APSEC, 2009)

Complexity of Checking Strong Satisfiability of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (SPIT, 2012)

Qualitative Analysis of Gene Regulatory Networks using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2013)

Formal Analysis of Gene Networks Using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2013)

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (ICT-EurAsia, 2013)

Complexity of Strong Satisfiability Problems for Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (IEICE Trans. Inf. Syst., 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)

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. - Shohei Mochizuki; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (ICFEM, 2014)

Minimal strongly unsatisfiable subsets of reactive system specifications. - Shigeki Hagihara; Naoki Egawa; Masaya Shimakawa; Naoki Yonezaki (ASE, 2014)

Bounded Strong Satisfiability Checking of Reactive System Specifications. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2014)

Reducing Bounded Realizability Analysis to Reachability Checking. - Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (RP, 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)

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. - Shigeki Hagihara; Atsushi Ueno; Takashi Tomita; Masaya Shimakawa; Naoki Yonezaki (FormaliSE@ICSE, 2016)

Web server access trend analysis based on the Poisson distribution. - Shigeki Hagihara; Yoshiharu Fushihara; Masaya Shimakawa; Masahiko Tomoishi; Naoki Yonezaki (ICSCA, 2017)

Modularization of formal specifications or efficient synthesis of reactive systems. - Masaya Shimakawa; Kenji Osari; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2017)

Safraless LTL synthesis considering maximal realizability. - Takashi Tomita; Atsushi Ueno; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Acta Informatica, 2017)

Verification of Verifiability of Voting Protocols by Strand Space Analysis. - Shigeki Hagihara; Masaya Shimakawa; Naoki Yonezaki (ICSCA, 2019)

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. - Masaya Shimakawa; Atsushi Ueno; Shohei Mochizuki; Takashi Tomita; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2019)

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic. - Masaya Shimakawa; Kentaro Hayashi; Shigeki Hagihara; Naoki Yonezaki (ICSCA, 2020)

Efficient Realizability Checking by Modularization of LTL Specifications. - Sohei Ito; Kenji Osari; Masaya Shimakawa; Shigeki Hagihara; Naoki Yonezaki (Comput. J., 2022)

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. - Takashi Tomita; Shigeki Hagihara; Masaya Shimakawa; Naoki Yonezaki (IEICE Trans. Inf. Syst., 2022)

Security Risk Growth Models for Software Vulnerability Assessment. - Takashi Minohara; Masaya Shimakawa (DSN-W, 2023)

Security Vulnerability Risk Growth Model based on CVSS 4.0. - Sora Okada; Masaya Shimakawa; Takashi Minohara (DSN-S, 2025)