GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. - Ludovic Samper; Florence Maraninchi; Laurent Mounier; Louis Mandel (InterSense, 2006)

Link Cost and Reliability of Frame Preamble MAC Protocols. - Abdelmalik Bachir; Ludovic Samper; Dominique Barthel; Martin Heusse; Andrzej Duda (SECON, 2006)

On the Importance of Modeling the Environment when Analyzing Sensor Networks. - Ludovic Samper; Florence Maraninchi; Erwan Jahier (SECON, 2006)

Worst-case lifetime computation of a wireless sensor network by model-checking. - Laurent Mounier; Ludovic Samper; Wassim Znaidi (PE-WASUN, 2007)

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks. - Florence Maraninchi; Ludovic Samper; Kevin Baradon; Antoine Vasseur (SLA++P@ETAPS, 2007)

Modélisations et analyses de réseaux de capteurs. (Modeling and Analysis of Sensor Networks). - Ludovic Samper (2008)