Intérêts de recherche

Vérification formelle de système matériel, Méthode de conception en vue de la vérification, Aide à la conception par méthode formelle, Abstraction de composant, Vérification compositionnelle.

Projets

• EquIPA : Equivalence checking pour IP Analogique

  Collaboration avec l'équipe CIAN du LIP6, sujets de stages ici.

• DeAR : Debugging with Abstraction-Refinement

  Collaboration avec AGRA group de Bremen Universität.

• FME3_ : Enhancing the Evaluation of Error consequences using Formal Method

  Collaboration avec le TIMA de Grenoble et l'équipe MOVE du LIP6

Publications

Soutenance de thèse C. Braunstein, 14 mai 2007

• Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce

Exposés

• "Applying Symbolic Model-Checking to Transient Fault Robustness Classification and Quantification", UEI-Ensta, March 2012
• "A Symbolic Model-Checking Framework for Transient Fault Robustness Classification and Quantification", AGRA group, December 2011
• "SAT-based Diagnosis in an Abstraction-Refinement Framework", Verimag, May 2008
• "Conception Incrémentale, Vérification de Composants Matériels et Méthode d'Abstraction pour Vérification de Systèmes Intégrés sur Puce" , PhD defence, 14th May 2007
• "CTL-Property Transformations Along an Incremental Design Process, Particularization to a Pipeline Flow Architecture", Méthodes Formelles pour Les Systèmes Logiciels et Matériels (MeFoSyLoMa), March 2006
• "Vérification de système par composition de spécification CTL, une démarche incrémentale", ASIM, November 2005