Watcharin Leungwattanakit

11 papers A* 2C 2Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
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
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
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
2008 C conf
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.
SNPD
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008 — conf
Efficient Model Checking of Networked Applications.
TOOLS (46)
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe
2008 C conf
Tools and Techniques for Model Checking Networked Programs.
SNPD
Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe