| 2008 |
|---|
| 4 | 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 |
| 3 | EE | Ananda Basu,
Philippe Bidinger,
Marius Bozga,
Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority.
FORTE 2008: 116-133 |
| 2007 |
|---|
| 2 | EE | Ananda Basu,
Laurent Mounier,
Marc Poulhiès,
Jacques Pulou,
Joseph Sifakis:
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
NCA 2007: 257-260 |
| 2006 |
|---|
| 1 | EE | Ananda Basu,
Marius Bozga,
Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP.
SEFM 2006: 3-12 |
