Watcharin Leungwattanakit

According to our database, Watcharin Leungwattanakit authored at least 10 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

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

2014

Modular Software Model Checking for Distributed Systems.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto, Koichi Takahashi

IEEE Trans. Software Eng., 2014

2011

Model checking distributed systems by combining caching and process checkpointing.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Model Checking of Concurrent Algorithms: From Java to C.

Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

2009

Introduction of Virtualization Technology to Multi-Process Model Checking.

Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the First NASA Formal Methods Symposium, 2009

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the ASE 2009, 2009

Verifying networked programs using a model checker extension.

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Efficient Model Checking of Networked Applications.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Tools and Techniques for Model Checking Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe

Proceedings of the Ninth ACIS International Conference on Software Engineering, 2008