Vous pouvez certainement trouver des informations plus récentes sur http://www.lri.fr/~mandel ou http://mandel.fr.
e-mail : | Louis.Mandel@inria.fr |
Adresse : |
INRIA Rocquencourt Projet MOSCOVA Domaine de Voluceau - BP 105 78153 Le Chesnay, France |
Téléphone : | 01 39 63 54 67 |
Portable : | 06 15 84 25 45 |
- Programming in JoCaml --- Extended Version. Inria research report 6261 with Luc Maranget
[ pdf | html]- 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 ]
- 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
Vacataire à l'Université Joseph Jourier (Grenoble 1) :
- Année 2005/2006
- Inf 242 : Logique et programmation logique
Moniteur à l'Université Denis Diderot (Paris 7) :
- Année 2004/2005
- IF 142 : Projets en Informatique (Pacman 3D en Java)
- Année 2003/2004
- IF 241 : Unix et automates
- IF 122 : Structure de données
- IF 142 : Projets en Informatique (Casse briques en Java)
- Année 2002/2003
- IF 121 : Informatique Fondamentale
- IF 142 : Projets en Informatique (Casse briques en C)