Publications 2009

International Conferences

  1. Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety Progress Properties. In Runtime Verification 2009, Lecture Notes in Computer Science, Volume, Grenoble, France, June 2009. (more) pdf
  2. Ylič Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track, 2009. (more) pdf