| 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 |
| 1 | EE | Valérie Bertin,
Michel Poize,
Jacques Pulou,
Joseph Sifakis:
Towards validated real-time software.
ECRTS 2000: 157-164 |
