Watcharin Leungwattanakit

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Distributed Systems

Alternating Time Temporal Logic

Fault Injection

Top Venues

IEEE Trans. Software Eng.

Int. J. Netw. Comput.

Publications

Cyrille Artho, Kuniyasu Suzaki, Masami Hagiya, Watcharin Leungwattanakit, Richard Potter, Eric Platon, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. Int. J. Netw. Comput. 5 (2) (2015)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Eric Platon, Richard Potter, Kuniyasu Suzaki, Yoshinori Tanabe, Franz Weitl, Mitsuharu Yamamoto
Using Checkpointing and Virtualization for Fault Injection. CANDAR (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi
Modular Software Model Checking for Distributed Systems. IEEE Trans. Software Eng. 40 (5) (2014)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Model checking distributed systems by combining caching and process checkpointing. ASE (2011)
Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto
Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC (2010)
Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Verifying networked programs using a model checker extension. ICSE Companion (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE (2009)
Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto
Introduction of Virtualization Technology to Multi-Process Model Checking. NASA Formal Methods (2009)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Tools and Techniques for Model Checking Networked Programs. SNPD (2008)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
Efficient Model Checking of Networked Applications. TOOLS (46) (2008)