Publications 2006

Academic Journals

  1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Tester la conformité d'un réseau à une politique de sécurité. Revue de l'electricité et de l'Electronique (REE), 6, 2006. (more)

Book Chapters

  1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. La bo\^ite à outils IF pour la modélisation et la vérification de systèmes temps réel. In Systèmes temps réel : Techniques de description et de vérification, Vol. 1, Chap. 9, Traité IC2, série Informatique et systèmes d'information, Hermes, Lavoisier, 2006. (more)

International Conferences

  1. S. Bensalem, J.-C. Fernandez, K. Havelund, L. Mounier. Confirmation of Deadlock Potentials Detected by Runtime Analysis. In Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06), Seattle, (USA), July 2006. (more) pdf
  2. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies.. In FATES/RV'06, Pages 55-69, Seattle, USA, July 2006. (more) pdf
  3. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In TestCom'06, Pages 341-356, New York, USA, June 2006. (more) pdf
  4. 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
  5. 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