 | 2007 |
|---|
| 8 |       | 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 |
|---|
| 7 | | 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 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | | 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 |
| 2 | | Valérie Bertin,
Michel Poize,
Jacques Pulou,
Joseph Sifakis:
Towards validated real-time software.
ECRTS 2000: 157-164 |
| 1978 |
|---|
| 1 | | M. Moalla,
Jacques Pulou,
Joseph Sifakis:
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
MFCS 1978: 374-384 |
