| 2007 | ||
|---|---|---|
| 7 | 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 | ||
| 6 | EE | Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis: A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96 |
| 2004 | ||
| 5 | EE | Frédéric Dang Tran, Jean-Philippe Fassino, Olivier Lobry, Jacques Pulou, Nicolas Rivierre: Toward a Component-Based Embedded Java-Oriented Operating System. OTM Workshops 2004: 256-267 |
| 2002 | ||
| 4 | EE | Etienne Closse, Michel Poize, Jacques Pulou, Patrick Venier, Daniel Weil: SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure. Electr. Notes Theor. Comput. Sci. 65(5): (2002) |
| 2001 | ||
| 3 | EE | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395 |
| 2000 | ||
| 2 | EE | Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou: Efficient compilation of ESTEREL for real-time embedded systems. CASES 2000: 2-8 |
| 1978 | ||
| 1 | M. Moalla, Jacques Pulou, Joseph Sifakis: Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. MFCS 1978: 374-384 | |
| 1 | Ananda Basu | [7] |
| 2 | Valérie Bertin | [2] |
| 3 | Etienne Closse | [2] [3] [4] |
| 4 | Jean-Philippe Fassino | [5] |
| 5 | Olivier Lobry | [5] |
| 6 | M. Moalla | [1] |
| 7 | Laurent Mounier | [7] |
| 8 | Michel Poize | [2] [3] [4] |
| 9 | Marc Poulhiès | [6] [7] |
| 10 | Christophe Rippert | [6] |
| 11 | Nicolas Rivierre | [5] |
| 12 | Joseph Sifakis | [1] [3] [6] [7] |
| 13 | Frédéric Dang Tran | [5] |
| 14 | Patrick Venier | [2] [4] |
| 15 | Patrick Venter | [3] |
| 16 | Daniel Weil | [2] [3] [4] |
| 17 | Sergio Yovine | [3] |
Colors in the list of coauthors