Symbolic Executions of Symmetrical Parallel Programs. - Isabelle Vernier-Mounier (PDP, 1996)

A Modular Approach to the Specification and Validation of an Electrical Flight Control System. - Marielle Doche; Isabelle Vernier-Mounier; Fabrice Kordon (FME, 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 (HASE, 2001)

Automatic Symmetry Detection in Well-Formed Nets. - Yann Thierry-Mieg; Claude Dutheillet; Isabelle Mounier (ICATPN, 2003)

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 (Formal Methods for Embedded Distributed Systems, 2004)

Detecting model inconsistency through operation-based model construction. - Xavier Blanc 001; Isabelle Mounier; Alix Mougenot; Tom Mens (ICSE, 2008)

Incremental Detection of Model Inconsistencies Based on Model Operations. - Xavier Blanc 001; Alix Mougenot; Isabelle Mounier; Tom Mens (CAiSE, 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 (DFT, 2009)

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)

Have You Found the Error? A Formal Framework for Learning Game Verification. - Amel Yessad; Isabelle Mounier; Jean-Marc Labat; Fabrice Kordon; Thibault Carron (EC-TEL, 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)