| * | 2009 |
|---|
| 6 | EE | Ananda Basu,
Saddek Bensalem,
Doron Peled,
Joseph Sifakis:
Priority Scheduling of Distributed Systems Based on Model Checking.
CAV 2009: 79-93 |
| 5 | EE | Ananda Basu,
Borzoo Bonakdarpour,
Marius Bozga,
Joseph Sifakis:
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.
DISC 2009: 174-175 |
| 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 |
