- 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
- Lucy-n : une extension n-synchrone de Lustre
- Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of ultimately periodic clocks in Lucy-n. Mathematics of Program Construction, MPC 2012
avec Florence Plateau
[ bib | .pdf | en savoir plus ]- Static Scheduling of Latency Insensitive Designs with Lucy-n. Formal Methods in Computer Aided Design, FMCAD 2011
avec Florence Plateau et Marc Pouzet
[ bib | .pdf | en savoir plus ]- Lucy-n: a n-Synchronous Extension of Lustre. Mathematics of Program Construction, MPC 2010
avec Florence Plateau et Marc Pouzet
[ bib | .pdf | en savoir plus ]- Abstraction of Clocks in Synchronous Data-flow Systems. ASIAN Symposium on Programming Languages and Systems, APLAS 2008
avec Albert Cohen, Florence Plateau et Marc Pouzet
[ bib | .pdf | en savoir plus ]- Interactive Programming of Reactive Systems. Model-driven High-level Programming of Embedded Systems, SLA++P 2008
avec Florence Plateau
[ bib | .pdf | en savoir plus ]- Programming in JoCaml. 17th European Symposium on Programming, ESOP 2008
avec Luc Maranget
[ bib | .pdf ] (extended version [ .pdf ])- ReactiveML : un langage fonctionnel pour la programmation réactive. Technique et Science Informatiques, TSI 2008
avec Marc Pouzet
[ 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
avec 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
avec Ludovic Samper, Florence Maraninchi and Laurent Mounier
[ bib | .pdf ]- ReactiveML, a Reactive Extension to ML. Principles and Practice of Declarative Programming 2005
avec Marc Pouzet
[ bib | .pdf ] (extended version [.pdf])- Simulation of Mobile Ad hoc Network Protocols in ReactiveML. Synchronous Languages, Applications, and Programming 2005
avec Farid Benbadis
[ bib | .pdf | en savoir plus ]
- Florence Plateau : Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée.
Thèse de doctorat de l'Université Paris-Sud 11, janvier 2010
[ bib | .pdf | en savoir plus ]
À Orsay
Bureau : 66/PCRI-S Adresse : Laboratoire de Recherche en Informatique
Bât 650 Université Paris-Sud 11
91405 Orsay cedex, FranceTéléphone : 01 72 92 59 70 À Paris
Bureau : S13, passage saumon Adresse : École Normale Supérieure
45, rue d'Ulm
75230 Paris Cedex 05, FranceTéléphone : 01 44 32 20 80