logo EDITE Cécile BRAUNSTEIN
Identité
Cécile BRAUNSTEIN
État académique
Thèse soutenue le 2007-05-14
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
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
edite:13327925491124
Increasing the Accuracy of SAT-Based Debugging
DATE Design Automation and Test in Europe Conference, Nice, France 2009