PARRENNES Fabrice

Dottore di ricerca - SPI
Data di partenza : 06/01/2002
https://lip6.fr/Fabrice.Parrennes

Relatore : Thérèse HARDIN

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

Difesa : 05/22/2002

Membri della commissione :

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

Data di partenza : 06/01/2002

Pubblicazioni 2001-2002

Tutti These Altre pubblicazioni

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