| * | 2009 |
|---|
| 4 | EE | 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 | EE | 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 | EE | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Tools and Techniques for Model Checking Networked Programs.
SNPD 2008: 852-857 |
| 1 | EE | Cyrille Artho,
Watcharin Leungwattanakit,
Masami Hagiya,
Yoshinori Tanabe:
Efficient Model Checking of Networked Applications.
TOOLS (46) 2008: 22-40 |
