Isabelle Mounier

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Learning Platform

Top Venues

EAI Endorsed Trans. Serious Games

Publications

Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron
Have You Found the Error? A Formal Framework for Learning Game Verification. EC-TEL (2014)
Isabelle Mounier, Amel Yessad, Thibault Carron, Fabrice Kordon, Jean-Marc Labat
Formal Framework to improve the reliability of concurrent and collaborative learning games. EAI Endorsed Trans. Serious Games 1 (2) (2014)
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods Syst. Des. 39 (2) (2011)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens
Incremental Detection of Model Inconsistencies Based on Model Operations. CAiSE (2009)
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens
Detecting model inconsistency through operation-based model construction. ICSE (2008)
Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
Automatic Symmetry Detection in Well-Formed Nets. ICATPN (2003)