Ludovic Samper

Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks

Florence Maraninchi, Ludovic Samper, Kevin Baradon, 2008, Electron. Notes Theor. Comput. Sci..

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

Ludovic Samper, 2008 .

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks

Florence Maraninchi, Ludovic Samper, Louis Mandel, 2006, InterSense '06.

Worst-case lifetime computation of a wireless sensor network by model-checking

Ludovic Samper, Laurent Mounier, Wassim Znaidi, 2007, PE-WASUN '07.

On the Importance of Modeling the Environment when Analyzing Sensor Networks

Florence Maraninchi, Ludovic Samper, Erwan Jahier, 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

Link Cost and Reliability of Frame Preamble MAC Protocols

Andrzej Duda, Martin Heusse, Dominique Barthel, 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

Simulation of Ad hoc Networks in ReactiveML

Marc Pouzet, Ludovic Samper, Louis Mandel, 2006 .