Publications 2008
International Conferences
- Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. In International Conference of Information System Security, Volume LNCS 5352, Pages 41-55, Hyderabad, India, December 2008. (more)
- Yliè Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Model-Based Testing (MBT), Budapest, Hungaria, April 2008. (more)
Research Reports
- 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
- 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