Mitsuharu Yamamoto

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