Mitsuharu Yamamoto

According to our database, Mitsuharu Yamamoto authored at least 27 papers between 1995 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Softw. Test. Verification Reliab., 2020

2017

Automated Dataset Construction from Web Resources with Tool Kayur.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Valentin Artho

Int. J. Netw. Comput., 2017

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

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Formalization of Karp-Miller tree construction on petri nets.

Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Java Pathfinder on Android Devices.

Alexander Kohan, Mitsuharu Yamamoto, Cyrille Artho, Yoriyuki Yamagata, Lei Ma, Masami Hagiya, Yoshinori Tanabe

ACM SIGSOFT Softw. Eng. Notes, 2016

Runtime Monitoring for Concurrent Systems.

Yoriyuki Yamagata, Cyrille Artho, Masami Hagiya, Jun Inoue, Lei Ma, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Runtime Verification - 16th International Conference, 2016

Formalization of Bing's Shrinking Method in Geometric Topology.

Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2015

Software Model Checking of UDP-based Distributed Applications.

Nazim Sebih, Masami Hagiya, Franz Weitl, Mitsuharu Yamamoto, Cyrille Artho, Yoshinori Tanabe

Int. J. Netw. Comput., 2015

Using Checkpointing and Virtualization for Fault Injection.

Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Int. J. Netw. Comput., 2015

Cardinality of UDP Transmission Outcomes.

Franz Weitl, Nazim Sebih, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Yoriyuki Yamagata, Mitsuharu Yamamoto

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

GRT at the SBST 2015 Tool Competition.

Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

2014

Modular Software Model Checking for Distributed Systems.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi

IEEE Trans. Software Eng., 2014

2013

Software model checking for distributed systems with selector-based, non-blocking communication.

Cyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modbat: A Model-Based API Tester for Event-Driven Systems.

Cyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Hardware and Software: Verification and Testing, 2013

2011

Model checking distributed systems by combining caching and process checkpointing.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Model Checking of Concurrent Algorithms: From Java to C.

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Introduction of Virtualization Technology to Multi-Process Model Checking.

Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 31st International Conference on Software Engineering, 2009

2005

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya

Proceedings of the Verified Software: Theories, 2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.

Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic.

Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

UML Scrapbook and Realization of Snapshot Programming Environment.

Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya

Proceedings of the Software Security, 2003

2002

Decidability of Safety Properties of Timed Multiset Rewriting.

Mitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.

Mitsuharu Yamamoto, Masami Hagiya

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

1998

Formalization of Graph Search Algorithms and Its Applications.

Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

Formalization of Planar Graphs.

Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995