| 2008 |
|---|
| 6 | EE | Albert Cohen,
Louis Mandel,
Florence Plateau,
Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems.
APLAS 2008: 237-254 |
| 5 | EE | Louis Mandel,
Luc Maranget:
Programming in JoCaml (Tool Demonstration).
ESOP 2008: 108-111 |
| 4 | EE | Louis Mandel,
Marc Pouzet:
ReactiveML, un langage fonctionnel pour la programmation réactive.
Technique et Science Informatiques 27(9-10): 1097-1128 (2008) |
| 2006 |
|---|
| 3 | EE | Nicolas Halbwachs,
Louis Mandel:
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
ACSD 2006: 3-14 |
| 2 | EE | Ludovic Samper,
Florence Maraninchi,
Laurent Mounier,
Louis Mandel:
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks.
InterSense 2006: 3 |
| 2005 |
|---|
| 1 | EE | Louis Mandel,
Marc Pouzet:
ReactiveML: a reactive extension to ML.
PPDP 2005: 82-93 |
