Watcharin Leungwattanakit

	2011
7		Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Model checking distributed systems by combining caching and process checkpointing. ASE 2011: 103-112
	2010
6		Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto: Model Checking of Concurrent Algorithms: From Java to C. DIPES/BICC 2010: 90-101
	2009
5		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. ASE 2009: 447-458
4		Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto: Verifying networked programs using a model checker extension. ICSE Companion 2009: 409-410
	2008
3		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. SNPD 2008: 807-813
2		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Tools and Techniques for Model Checking Networked Programs. SNPD 2008: 852-857
1		Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe: Efficient Model Checking of Networked Applications. TOOLS (46) 2008: 22-40

Coauthor Index

1	Cyrille Artho (Cyrille Valentin Artho)	[1] [2] [3] [4] [5] [6] [7]
2	Masami Hagiya	[1] [2] [3] [4] [5] [6] [7]
3	Yoshinori Tanabe	[1] [2] [3] [4] [5] [6] [7]
4	Mitsuharu Yamamoto	[4] [5] [6] [7]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page