Watcharin Leungwattanakit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2009
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICSE | Verifying networked programs using a model checker extension. | Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2008 | SNPD | Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
| 2008 | SNPD | Tools and Techniques for Model Checking Networked Programs. | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |