Committee (april 7, 2008) :
- Marc Pouzet (president, LRI, Orsay)
- Robert de Simone (reviewer, DR INRIA Sophia-Antipolis)
- Isabelle Guérin-Lassous (reviewer, PR U. Lyon)
- Florence Maraninchi (co-supervisor, VERIMAG)
- Laurent Mounier (co-supervisor, VERIMAG)
- Dominique Barthel (advisor, FranceTelecom R&D)
Publications
2008
- Modélisations et analyses de réseaux de capteurs. Ludovic Samper - [bibtex]
2007
- Worst-case lifetime computation of a Wireless Sensor Network by model-checking. Laurent Mounier, Ludovic Samper, Wassim Znaidi - Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN) - [bibtex]
- Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur - SLA++P'07, ETAPS'07 Satellite Workshop on Model-driven High-level Programming of Embedded Systems - [bibtex]
2006
- GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel - InterSense: First International Conference on Integrated Internet Ad hoc and Sensor Networks - [bibtex]
- On the Importance of Modeling the Environment when Analyzing Sensor Networks. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, Pascal Raymond - 3rd International Workshop on Wireless Ad-hoc and Sensor Networks (IWWAN'06) - [bibtex]
