Search results for "Watcharin Leungwattanakit"

Found 7 publication records. Showing 7 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Model checking distributed systems by combining caching and process checkpointing.	ASE	2011	DBLP DOI BibTeX RDF
1	Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto	Model Checking of Concurrent Algorithms: From Java to C.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Cache-Based Model Checking of Networked Applications: From Linear to Branching Time.	ASE	2009	DBLP DOI BibTeX RDF	networking, caching, software verification, Software model checking, input/output
1	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto	Verifying networked programs using a model checker extension.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Efficient Model Checking of Networked Applications.	TOOLS	2008	DBLP DOI BibTeX RDF	caching, software testing, Software model checking, network communication
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	optimization, model checking, centralization, Software model checking, partial-order reduction
1	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe	Tools and Techniques for Model Checking Networked Programs.	SNPD	2008	DBLP DOI BibTeX RDF	networking, software verification, Software model checking, inter-process communication

Displaying result #1 - #7 of 7 (100 per page; Change: )

Publications of "Watcharin Leungwattanakit" ( http://dblp.L3S.de/Authors/Watcharin_Leungwattanakit )