 | 2009 |
|---|
| 8 |       | Louis Mandel,
Florence Plateau:
Abstraction d'horloges dans les systèmes synchrones flot de données.
JFLA 2009: 411-444 |
| 7 |  | Louis Mandel,
Florence Plateau:
Interactive Programming of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 238(1): 21-36 (2009) |
| 2008 |
|---|
| 6 | | Albert Cohen,
Louis Mandel,
Florence Plateau,
Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems.
APLAS 2008: 237-254 |
| 5 | | Louis Mandel,
Luc Maranget:
Programming in JoCaml (Tool Demonstration).
ESOP 2008: 108-111 |
| 4 | | 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 | | Nicolas Halbwachs,
Louis Mandel:
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model.
ACSD 2006: 3-14 |
| 2 | | 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 | | Louis Mandel,
Marc Pouzet:
ReactiveML: a reactive extension to ML.
PPDP 2005: 82-93 |
