Watcharin Leungwattanakit

11 papers A* 2C 2Journal 2Unranked 5

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz