Publications 2007

International Conferences

  1. 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
  2. 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
  3. Keqin Li, Laurent Mounier, Roland Groz. Test Generation from Security Policies Specified in Or-BAC. In IEEE COMPSAC'07, Bejing, China, July 2007. (more)
  4. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications.. In TESTCOM/FATES, June 2007. (more) pdf
  5. 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

Research Reports

  1. Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier Ylies Falcone. A Partial-Specification Driven Compositional Testing Method. Research Report Verimag, No 0, October 2007. (more) download
  2. 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