| |
| 2006 | ||
|---|---|---|
| 4 | Duc-Duy Vo, Claude Petitpierre: Model Checking for Synchronous Java. SEDE 2006: 141-147 | |
| 2005 | ||
| 3 | Duc-Duy Vo, Claude Petitpierre: A Deadlock Detector for Synchronous Java. SEKE 2005: 537-542 | |
| 2003 | ||
| 2 | EE | Duc-Duy Vo: Analysis of program based on Synchronous Active Objects. RIVF 2003: 83-92 |
| 1 | Duc-Duy Vo, Claude Petitpierre: A New Multi-Tasking Concept Supported by SMV. Software Engineering Research and Practice 2003: 228-233 | |
| 1 | Claude Petitpierre | [1] [3] [4] |