@InProceedings{SamperMaraninchiMounierMandelInterSense2006,
  author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier and Louis Mandel},
  title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks},
  booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06)},
  year = {2006},
  address = {Nice, France},
  month = may,
}



@INPROCEEDINGS{SMMJR06,
  AUTHOR          = {Ludovic Samper and Florence Maraninchi and Laurent Mounier and Erwan Jahier and Pascal Raymond},
  TITLE           = {On the Importance of Modeling the Environment when Analyzing Sensor Networks},
  YEAR            = {2006},
  MONTH           = {June},
  PAGES           = {7},
  ADDRESS         = {New York, United States},
  BOOKTITLE       = {Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006)}
}


@INPROCEEDINGS{BSBHD06,
  AUTHOR          = {Abdelmalik Bachir and Ludovic Samper and Dominique Barthel and Martin Heusse and Andrzej Duda},
  TITLE           = {Link Cost and Reliability of Frame Preamble MAC Protocols},
  YEAR            = {2006},
  MONTH           = {June},
  PAGES           = {7},
  ADDRESS         = {New York, United States},
  BOOKTITLE       = {Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006)}
}


@inproceedings{MSBV07,
  author      ={Florence Maraninchi and Ludovic Samper and Kevin Baradon and Antoine Vasseur},
  title       ={Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks},
  booktitle   ={Proceedings of Model-driven High-level Programming of Embedded Systems},
  year        ={2007},
  month       ={March}, 
  address     ={Braga, Portugal}
}


@inproceedings{MSZ07,
author = {Laurent Mounier and Ludovic Samper and Wassim Znaidi},
title = {Worst-case lifetime computation of a Wireless Sensor Network by model-checking},
booktitle = {Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN)},
organization = {ACM},
address = {Chania, Crete Island, Greece},
month = {oct},
year = {2007}
}


@PhdThesis{Samper-These,
  author = {Ludovic Samper},
  title = {Modélisations et Analyses de Réseaux de Capteurs},
  school = {INPG, Grenoble, France},
  month = {April},
  year = {2008}
  }