Masaya Shimakawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DSN | Security Vulnerability Risk Growth Model based on CVSS 4.0. | Sora Okada, Masaya Shimakawa, Takashi Minohara |
| 2023 | DSN | Security Risk Growth Models for Software Vulnerability Assessment. | Takashi Minohara, Masaya Shimakawa |
| 2016 | ICSE | Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. | Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki |
| 2014 | ICFEM | Fast Translation from LTL to Bchi Automata via Non-transition-based Automata. | Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki |
| 2009 | APSEC | Extracting Environmental Constraints to Make Reactive System Specifications Realizable. | Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki |