Formalization of Planar Graphs. - Mitsuharu Yamamoto; Shin-ya Nishizaki; Masami Hagiya; Yozo Toda (TPHOLs, 1995)

Formalization of Graph Search Algorithms and Its Applications. - Mitsuharu Yamamoto; Koichi Takahashi; Masami Hagiya; Shin-ya Nishizaki; Tetsuo Tamai (TPHOLs, 1998)

Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata. - Mitsuharu Yamamoto; Masami Hagiya (APLAS, 2001)

Decidability of Safety Properties of Timed Multiset Rewriting. - Mitsuharu Yamamoto; Jean-Marie Cottin; Masami Hagiya (FTRTFT, 2002)

UML Scrapbook and Realization of Snapshot Programming Environment. - Osamu Sato; Richard Potter; Mitsuharu Yamamoto; Masami Hagiya (ISSS, 2003)

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. - Masami Hagiya; Koichi Takahashi; Mitsuharu Yamamoto; Takahiro Sato (FLOPS, 2004)

A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus. - Yoshinori Tanabe; Koichi Takahashi; Mitsuharu Yamamoto; Akihiko Tozawa; Masami Hagiya (TABLEAUX, 2005)

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. - Mitsuharu Yamamoto; Yoshinori Tanabe; Koichi Takahashi; Masami Hagiya (VSTTE, 2005)

Verifying networked programs using a model checker extension. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICSE Companion, 2009)

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2009)

Introduction of Virtualization Technology to Multi-Process Model Checking. - Watcharin Leungwattanakit; Cyrille Valentin Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (NASA Formal Methods, 2009)

Model Checking of Concurrent Algorithms: From Java to C. - Cyrille Artho; Masami Hagiya; Watcharin Leungwattanakit; Yoshinori Tanabe; Mitsuharu Yamamoto (DIPES/BICC, 2010)

Model checking distributed systems by combining caching and process checkpointing. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ASE, 2011)

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 (Haifa Verification Conference, 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 (ASE, 2013)

Modular Software Model Checking for Distributed Systems. - Watcharin Leungwattanakit; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto; Koichi Takahashi (IEEE Trans. Software Eng., 2014)

GRT at the SBST 2015 Tool Competition. - Lei Ma 003; Cyrille Artho; Cheng Zhang; Hiroyuki Sato; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (SBST@ICSE, 2015)

Cardinality of UDP Transmission Outcomes. - Franz Weitl; Nazim Sebih; Cyrille Artho; Masami Hagiya; Yoshinori Tanabe; Yoriyuki Yamagata; Mitsuharu Yamamoto (SETTA, 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)

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)

Formalization of Bing's Shrinking Method in Geometric Topology. - Ken'ichi Kuga; Manabu Hagiwara; Mitsuharu Yamamoto (CICM, 2016)

Runtime Monitoring for Concurrent Systems. - Yoriyuki Yamagata; Cyrille Artho; Masami Hagiya; Jun Inoue 001; Lei Ma 003; Yoshinori Tanabe; Mitsuharu Yamamoto (RV, 2016)

Java Pathfinder on Android Devices. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Artho; Yoriyuki Yamagata; Lei Ma 003; Masami Hagiya; Yoshinori Tanabe (ACM SIGSOFT Softw. Eng. Notes, 2016)

Formalization of Karp-Miller tree construction on petri nets. - Mitsuharu Yamamoto; Shogo Sekine; Saki Matsumoto (CPP, 2017)

Model-Based API Testing of Apache ZooKeeper. - Cyrille Artho; Quentin Gros; Guillaume Rousset; Kazuaki Banzai; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (ICST, 2017)

Automated Dataset Construction from Web Resources with Tool Kayur. - Alexander Kohan; Mitsuharu Yamamoto; Cyrille Valentin Artho (Int. J. Netw. Comput., 2017)

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. - Cyrille Artho; Kazuaki Banzai; Quentin Gros; Guillaume Rousset; Lei Ma 003; Takashi Kitamura 001; Masami Hagiya; Yoshinori Tanabe; Mitsuharu Yamamoto (Softw. Test. Verification Reliab., 2020)