Mitsuharu Yamamoto

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 12

Top Topics

Concurrent Systems

Alternating Time Temporal Logic

Top Venues

Int. J. Netw. Comput.

Publications

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 30 (7-8) (2020)
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model-Based API Testing of Apache ZooKeeper. ICST (2017)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Valentin Artho
Automated Dataset Construction from Web Resources with Tool Kayur. Int. J. Netw. Comput. 7 (2) (2017)
Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto
Formalization of Karp-Miller tree construction on petri nets. CPP (2017)
Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto
Runtime Monitoring for Concurrent Systems. RV (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe
Java Pathfinder on Android Devices. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)
Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto
Formalization of Bing's Shrinking Method in Geometric Topology. CICM (2016)
Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho
Automated Dataset Construction from Web Resources with Tool Kayur. CANDAR (2016)
Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe
Software Model Checking of UDP-based Distributed Applications. Int. J. Netw. Comput. 5 (2) (2015)
Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5 (2) (2015)
Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto
Cardinality of UDP Transmission Outcomes. SETTA (2015)
Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
GRT at the SBST 2015 Tool Competition. SBST@ICSE (2015)
Nazim Sebih, Franz Weitl, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Software Model Checking of UDP-based Distributed Applications. CANDAR (2014)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. CANDAR (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40 (5) (2014)
Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto
Modbat: A Model-Based API Tester for Event-Driven Systems. Haifa Verification Conference (2013)
Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Software model checking for distributed systems with selector-based, non-blocking communication. ASE (2013)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing. ASE (2011)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC (2010)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Verifying networked programs using a model checker extension. ICSE Companion (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE (2009)
Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods (2009)
Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya
A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. TABLEAUX (2005)
Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. VSTTE (2005)
Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS (2004)
Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
UML Scrapbook and Realization of Snapshot Programming Environment. ISSS (2003)
Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya
Decidability of Safety Properties of Timed Multiset Rewriting. FTRTFT (2002)
Mitsuharu Yamamoto, Masami Hagiya
Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. APLAS (2001)
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
Formalization of Graph Search Algorithms and Its Applications. TPHOLs (1998)
Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
Formalization of Planar Graphs. TPHOLs (1995)