Mitsuharu Yamamoto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2001–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CPP | Formalization of Karp-Miller tree construction on petri nets. | Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto |
| 2017 | ICST | Model-Based API Testing of Apache ZooKeeper. | Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2016 | RV | Runtime Monitoring for Concurrent Systems. | Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | ICSE | GRT at the SBST 2015 Tool Competition. | Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2015 | SETTA | Cardinality of UDP Transmission Outcomes. | Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto |
| 2009 | ICSE | Verifying networked programs using a model checker extension. | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2005 | TABLEAUX | A Decision Procedure for the Alternation-Free Two-Way Modal -Calculus. | Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya |
| 2004 | FLOPS | Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
| 2001 | APLAS | Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. | Mitsuharu Yamamoto, Masami Hagiya |