Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Watcharin
Last name:	Leungwattanakit
DBLP:	48/4755
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 4 of 4  

Select a publication
Show	Title	Venue	Rating	Date
	Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Verifying networked programs using a model checker extension.	31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume 2009	(0)	2009
	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Tools and Techniques for Model Checking Networked Programs.	Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008	(0)	2008
	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs.	Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008	(0)	2008
	Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Efficient Model Checking of Networked Applications.	Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings 2008	(0)	2008

Your query returned 4 matches in the database.