Isabelle Mounier

According to our database, Isabelle Mounier authored at least 11 papers between 1996 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Formal Framework to improve the reliability of concurrent and collaborative learning games.

Isabelle Mounier, Amel Yessad, Thibault Carron, Fabrice Kordon, Jean-Marc Labat

EAI Endorsed Trans. Serious Games, 2014

Have You Found the Error? A Formal Framework for Learning Game Verification.

Amel Yessad, Isabelle Mounier, Jean-Marc Labat, Fabrice Kordon, Thibault Carron

Proceedings of the Open Learning and Teaching in Educational Communities, 2014

2011

Feasibility analysis for robustness quantification by symbolic model checking.

Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès

Formal Methods Syst. Des., 2011

2009

Complementary Formal Approaches for Dependability Analysis.

Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

Incremental Detection of Model Inconsistencies Based on Model Operations.

Xavier Blanc, Alix Mougenot, Isabelle Mounier, Tom Mens

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

Detecting model inconsistency through operation-based model construction.

Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2004

Modeling and verifying behavioral aspects.

François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

Automatic Symmetry Detection in Well-Formed Nets.

Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2001

A Survey: Applying Formal Methods to a Software Intensive System.

Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, Michel Lemoine, Gervais Gaudiére, Victor L. Winter, Deepak Kapur

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

A Modular Approach to the Specification and Validation of an Electrical Flight Control System.

Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

1996

Symbolic Executions of Symmetrical Parallel Programs.

Isabelle Vernier-Mounier

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996