Masaya Shimakawa

23 papers A* 1C 2Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Security Vulnerability Risk Growth Model based on CVSS 4.0.
DSN-S
Sora Okada, Masaya Shimakawa, Takashi Minohara
2023 — conf
Security Risk Growth Models for Software Vulnerability Assessment.
DSN-W
Takashi Minohara, Masaya Shimakawa
2022 J jnl
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.
IEICE Trans. Inf. Syst.
Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2022 J jnl
Efficient Realizability Checking by Modularization of LTL Specifications.
Comput. J.
Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2020 — conf
Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.
ICSCA
Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki
2019 — conf
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.
ICSCA
Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2019 — conf
Verification of Verifiability of Voting Protocols by Strand Space Analysis.
ICSCA
Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2017 — conf
Modularization of formal specifications or efficient synthesis of reactive systems.
ICSCA
Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017 J jnl
Safraless LTL synthesis considering maximal realizability.
Acta Informatica
Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2017 — conf
Web server access trend analysis based on the Poisson distribution.
ICSCA
Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki
2016 — conf
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
FormaliSE@ICSE
Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
2015 J jnl
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci.
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2015 — conf
Reducing Bounded Realizability Analysis to Reachability Checking.
RP
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 J jnl
Bounded Strong Satisfiability Checking of Reactive System Specifications.
IEICE Trans. Inf. Syst.
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 C conf
Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.
ICFEM
Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014 A* conf
Minimal strongly unsatisfiable subsets of reactive system specifications.
ASE
Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki
2013 J jnl
Complexity of Strong Satisfiability Problems for Reactive System Specifications.
IEICE Trans. Inf. Syst.
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
Formal Analysis of Gene Networks Using Network Motifs.
BIOSTEC (Selected Papers)
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 J jnl
Modular analysis of gene networks by linear temporal logic.
J. Integr. Bioinform.
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
BIOINFORMATICS
Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013 — conf
SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.
ICT-EurAsia
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2012 — conf
Complexity of Checking Strong Satisfiability of Reactive System Specifications.
SPIT
Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2009 C conf
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
APSEC
Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki