| * | 2009 |
|---|
| 3 | EE | Saddek Bensalem,
Marius Bozga,
Thanh-Hung Nguyen,
Joseph Sifakis:
D-Finder: A Tool for Compositional Deadlock Detection and Verification.
CAV 2009: 614-619 |
| 2008 |
|---|
| 2 | EE | Saddek Bensalem,
Marius Bozga,
Joseph Sifakis,
Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application.
ATVA 2008: 64-79 |
| 1 | EE | Ananda Basu,
Matthieu Gallien,
Charles Lesire,
Thanh-Hung Nguyen,
Saddek Bensalem,
Félix Ingrand,
Joseph Sifakis:
Incremental Component-Based Construction and Verification of a Robotic System.
ECAI 2008: 631-635 |
