Mitsuharu Yamamoto - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2020

Model-based testing of Apache ZooKeeper: Fundamental API usage and watchersCyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma 0003, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. stvr, 30(7-8), 2020. [doi]

2017

2016

2015

2014

2013

Software model checking for distributed systems with selector-based, non-blocking communicationCyrille Artho, Masami Hagiya, Richard Potter, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto. ASE 2013: 169-179 [doi]

Modbat: A Model-Based API Tester for Event-Driven SystemsCyrille Valentin Artho, Armin Biere, Masami Hagiya, Eric Platon, Martina Seidl, Yoshinori Tanabe, Mitsuharu Yamamoto. hvc 2013: 112-128 [doi]

2011

Model checking distributed systems by combining caching and process checkpointingWatcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. ASE 2011: 103-112 [doi]

2010

Model Checking of Concurrent Algorithms: From Java to CCyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto. ifip10-3 2010: 90-101 [doi]

2009

2005

A Decision Procedure for the Alternation-Free Two-Way Modal µ-CalculusYoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya. tableaux 2005: 277-291 [doi]

Abstraction of Graph Transformation Systems by Temporal Logic and Its VerificationMitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya. vstte 2008: 518-527 [doi]

2004

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal LogicMasami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato. FLOPS 2004: 7-21 [doi]

2003

UML Scrapbook and Realization of Snapshot Programming EnvironmentOsamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya. isss2 2004: 281-295 [doi]

2002

Decidability of Safety Properties of Timed Multiset RewritingMitsuharu Yamamoto, Jean-Marie Cottin, Masami Hagiya. ftrtft 2002: 165-184 [doi]

2001

Abstract A* Algorithm and Its Application to Linearly Priced Timed AutomataMitsuharu Yamamoto, Masami Hagiya. aplas 2001: 193-205

1998

Formalization of Graph Search Algorithms and Its ApplicationsMitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai. tphol 1998: 479-496

1995

Formalization of Planar GraphsMitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda. tphol 1995: 369-384

Sign in or sign up to see more results.

runs on WebDSL