| 2008 | ||
|---|---|---|
| 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 |
| 1 | Philippe Bidinger | [3] |
| 2 | Marius Bozga | [1] [3] |
| 3 | Laurent Mounier | [2] |
| 4 | Marc Poulhiès | [2] |
| 5 | Jacques Pulou | [2] |
| 6 | Joseph Sifakis | [1] [2] [3] |