| e-mail : | Louis.Mandel@lri.fr |
| Bureau : | 101, bât. N |
| Adresse : |
Projet ProVal Parc Orsay Univ, Zac des Vignes 4, rue Jacques Monod 91893 Orsay cedex, France |
| Téléphone : | 01 72 92 59 70 |
| Portable : | 06 15 84 25 45 |
- ReactiveML : une extension réactive de OCaml
- Glouton : une implantation de Junior (bibliothèque Java pour la programmation réactive)
- Elip et Glonemo : simulation de réseaux de capteurs en ReactiveML
- Clock Typing of n-Synchronous Programs. Designing Correct Circuits with Florence Plateau and Marc Pouzet
[ bib | .pdf ]- Cours de ReactiveML. Journée Francophones des Langages Applicatifs
[ bib | .pdf ]- Lucy-n : une extension n-synchrone de Lustre. Journée Francophones des Langages Applicatifs with Florence Plateau and Marc Pouzet
[ bib | .pdf ]- Relaxing Synchronous Composition with Clock Abstraction. Hardware Design using Functional Languages with Albert Cohen, Florence Plateau and Marc Pouzet
[ bib | .pdf ]- Abstraction d'horloges dans les systèmes synchrones flot de données. Journée Francophones des Langages Applicatifs 2009 with Florence Plateau
[ bib | .pdf ]- Abstraction of Clocks in Synchronous Data-flow Systems. ASIAN Symposium on Programming Languages and Systems (APLAS'08) with Albert Cohen, Florence Plateau, and Marc Pouzet
[ bib | .pdf ]- Interactive Programming of Reactive Systems. Model-driven High-level Programming of Embedded Systems (SLA++P'08) with Florence Plateau
[ bib | .pdf ]- Programming in JoCaml. 17th European Symposium on Programming (ESOP'08) with Luc Maranget
[ bib | .pdf ]- ReactiveML : un langage fonctionnel pour la programmation réactive. Technique et Science Informatiques, TSI 2007 (Accepted for publication) with Marc Pouzet
[ bib | .pdf ]- Executable contracts for incremental prototypes of embedded systems. Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA 2007 with Lionel Morel
[ bib | .pdf ]- Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive. Thèse de doctorat de l'université Paris 6
[ bib | .ps.gz | .pdf ]- Simulation and verification of asynchronous systems by means of a synchronous model. Sixth International Conference on Application of Concurrency to System Design, ACSD 2006 with Nicolas Halbwachs
[ bib | .pdf ]- GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. InterSense 2006: First International Conference on Integrated Internet Ad hoc and Sensor Networks with Ludovic Samper, Florence Maraninchi and Laurent Mounier
[ bib | .pdf ]- ReactiveML, a Reactive Extension to ML. Principles and Practice of Declarative Programming 2005 with Marc Pouzet
[ bib | .pdf ] (extended version [pdf])- Simulation of Mobile Ad hoc Network Protocols in ReactiveML. Synchronous Languages, Applications, and Programming 2005 with Farid Benbadis
[ bib | .pdf | html ]- ReactiveML, un langage pour la programmation réactive en ML. Journée Francophones des Langages Applicatifs 2005 with Marc Pouzet
[ bib | .ps ]