Kento Ogawa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2015–2016
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | MODELS | Caching Strategies for Run-time Probabilistic Model Checking. | Hiroyuki Nakagawa, Kento Ogawa, Tatsuhiro Tsuchiya |
| 2015 | SEFM | An Experimental Evaluation on Runtime Verification of Self-adaptive Systems in the Presence of Uncertain Transition Probabilities. | Kento Ogawa, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |