Modeling and Validation of Wireless Sensor Networks

International Conferences

  1. Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, IL, USA, April 2011. (more)
  2. Laurent Mounier, Ludovic Samper, Wassim Znaidi. Worst-case lifetime computation of a Wireless Sensor Network by model-checking. In Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN), Chania, Greece, October 2007. (more) pdf
  3. Ananda Basu, Laurent Mounier, Marc Poulhičs, Jacques Pulou, Joseph Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. In IEEE NCA'07, Cambridge, USA, July 2007. (more) pdf
  4. M. Dohler, D. Barthel, F. Maraninchi, L. Mounier, S. Aubert, C. Dugas, A. Buhrig, F. Paugnat, M. Renaudin, A. Duda, M. Heusse, F. Valois. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. In IEEE SECON'07 (Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks), 2007. (more) pdf
  5. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, Pascal Raymond. On the Importance of Modeling the Environment when Analyzing Sensor Networks. In Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006), New York (USA), June 2006. (more) pdf
  6. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006. (more) pdf

Research Reports

  1. Laurent Mounier, Marc Poulhičs, Jacques Pulou, Joseph Sifakis Ananda Basu. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. Research Report Verimag, No 0, April 2007. (more) download