Publications 2011

Academic Journals

  1. Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, 2011. (more) pdf

International Conferences

  1. Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. In Actes des Rencontres du Parallélisme (RenPar), Saint Malo, France, 2011. (more) pdf
  2. Sanjay Rawat, Laurent Mounier. Offset-Aware Mutation based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. In Proc. of The Second International Workshop on Security Testing (SECTEST), 2011. (more) pdf
  3. Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, IL, USA, April 2011. (more)