logo EDITE Isabelle MOUNIER
Identité
Isabelle MOUNIER
État académique
Thèse soutenue
Laboratoire: personnel permanent
Voisinage
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
http://www.springerlink.com/content/dm42n88k3404741r/
Feasibility Analysis for Robustness Quantification by Symbolic Model Checking
Vol. 39, No. 2, pp. 165-184 2011
9781848213142
Models and Analysis in Distributed Systems
eds. Haddad, Serge, Wiley 2011
edite:1332792491785
Quantifying Robustness by Symbolic Model checking
1st Hardware Verification Workshop (CAV workshop) 2010
edite:13327925331015
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
http://www.springerlink.com/index/10.1007/978-3-540-87875-9
Incremental Detection of Model Inconsistencies based on Model Operations
Proceedings of the 21st International Conference on Advanced Information Systems, CAISE'09, Berlin 2009