logo EDITE Isabelle MOUNIER
Isabelle MOUNIER
État académique
Thèse soutenue
Laboratoire: personnel permanent
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
Feasibility Analysis for Robustness Quantification by Symbolic Model Checking
Vol. 39, No. 2, pp. 165-184 2011
Models and Analysis in Distributed Systems
eds. Haddad, Serge, Wiley 2011
Quantifying Robustness by Symbolic Model checking
1st Hardware Verification Workshop (CAV workshop) 2010
Complementary Formal Approaches for Dependability Analysis
Evaluating the robustness of digital circuits with respect to soft errors has
Proc. 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems 2009
Incremental Detection of Model Inconsistencies based on Model Operations
Proceedings of the 21st International Conference on Advanced Information Systems, CAISE'09, Berlin 2009