Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Tools and Techniques for Model Checking Networked Programs. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (SNPD, 2008)

Efficient Model Checking of Networked Applications. - Cyrille Artho; Watcharin Leungwattanakit; Masami Hagiya; Yoshinori Tanabe (TOOLS (46), 2008)

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)

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

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)