Verimag

Ludovic Samper

supervisor : F. Maraninchi, L. Mounier - PhD 2004-2008

Modeling and Analysis of Sensor Networks, a cooperation with FT R&D, Grenoble.

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)

Public LinkedIn Profile

Publications

2008

  1. Modélisations et analyses de réseaux de capteurs. Ludovic Samper - [bibtex]

2007

  1. 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]
  2. 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

  1. 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]
  2. 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]

Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 6 ; visites : 422820