 | 2010 |
|---|
| 11 |       | Louis Mandel,
Florence Plateau,
Marc Pouzet:
Lucy-n: a n-Synchronous Extension of Lustre.
MPC 2010: 288-309 |
| 2009 |
|---|
| 10 |  | Louis Mandel,
Florence Plateau:
Abstraction d'horloges dans les systèmes synchrones flot de données.
JFLA 2009: 411-444 |
| 9 | | Lionel Morel,
Louis Mandel:
Executable Contracts for Incremental Prototypes of Embedded Systems.
Electr. Notes Theor. Comput. Sci. 203(7): 121-135 (2009) |
| 8 | | Louis Mandel,
Florence Plateau:
Interactive Programming of Reactive Systems.
Electr. Notes Theor. Comput. Sci. 238(1): 21-36 (2009) |
| 7 | | Louis Mandel,
Florence Plateau:
Abstraction d'horloges dans les systemes synchrones flot de donnees.
Stud. Inform. Univ. 7(2): 166-194 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page