Keishi Okamoto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2010–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | KES | A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. | Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki |
| 2020 | KES | Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. | Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto |
| 2017 | IJCAI | A Bayesian Approach to Argument-Based Reasoning for Attack Estimation. | Hiroyuki Kido, Keishi Okamoto |
| 2017 | KSEM | Balancing Between Cognitive and Semantic Acceptability of Arguments. | Hiroyuki Kido, Keishi Okamoto |
| 2010 | PRDC | Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. | Takashi Kitamura, Keishi Okamoto, Makoto Takeyama |