PARRENNES Fabrice

Docteur - SPI
Date de départ : 01/06/2002
https://lip6.fr/Fabrice.Parrennes

Direction de recherche : Thérèse HARDIN

Analyse de sûreté du logiciel par interprétation abstraite et contraintes

Soutenance : 22/05/2002

Membres du jury :

Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF

Date de départ : 01/06/2002

Publications 2001-2002

Toutes Thèse Autres Publications

2002
- F. Parrennes : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, thèse, soutenance 22/05/2002, direction de recherche Hardin, Thérèse (2002)
2001
- F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, (2001)