Research Reports

2008

1. Jean-Claude Fernandez, Laurent Mounier Yliès Falcone. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Research Report Verimag, No 0, August 2008. (more) download
2. Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier Ylies Falcone. j-POST: a Java Toolchain for Property-Oriented Software Testing. Research Report Verimag, No 0, April 2008. (more) download

2007

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