BEAUDENON Vincent

Doktor
Forschungsgruppe : ALSOC
Datum, an dem das LIP6 verlassen wurde : 13.12.2006
https://lip6.fr/Vincent.Beaudenon

Forschungsleitung (Direction de recherche) : Emmanuelle ENCRENAZ

Co-Betreuung : GREINER Alain

Diarammes de décision de données pour la vérification de systemes matériels

Verteidigung einer Doktorarbeit : 13.12.2006

Mitglieder der Prüfungskommission :

GREINER Alain, UPMC/LIP,
ENCRENAZ Emmanuelle, UPMC/LIP,
KORDON Fabrice, UPMC/LIP,
PETRUCCI Laure, LIPN
COUVREUR Jean Michel, LIFO
BENALYCHERIF Mohamed,ST MICROELECTRONICS

Datum, an dem das LIP6 verlassen wurde : 13.12.2006

Publikationen 2002-2010

2010
- V. Beaudenon, E. Encrenaz, S. Taktak : “Data Decision Diagrams for Promela Systems Analysis”, International Journal on Software Tools for Technology Transfer, vol. 12 (5), pp. 337-352, (Springer Verlag) (2010)
2006
- V. Beaudenon : “Diarammes de décision de données pour la vérification de systemes matériels”, these, verteidigung einer doktorarbeit 13.12.2006, forschungsleitung (direction de recherche) Encrenaz, Emmanuelle, co-betreuung : Greiner, Alain (2006)
2005
- V. Beaudenon, E. Encrenaz, S. Taktak : “Data Decision Diagrams for ProMeLa Systems Analysis”, (2005)
2004
- V. Beaudenon, E. Encrenaz : “Utilisation de Diagrammes de Décision de Données pour la Vérification Fonctionnelle de Systèmes Matériels”, MAJECTSTIC 2004 - MAnifestation des JEunes Chercheurs STIC, Calais, France (2004)
2003
- V. Beaudenon, E. Encrenaz, J.‑L. Desbarbieux : “Design Validation of ZCSP with SPIN”, IEEE Third International Conference on Application of Concurrency to System Design (ACSD 2003), Guimaraes, Portugal, pp. 102-110, (IEEE) (2003)
- V. Beaudenon, E. Encrenaz, J.‑L. Desbarbieux : “Design Validation of ZCSP with SPIN”, (2003)
2002
- V. Beaudenon, A. Greiner : “Synthèse Logique utilisant un Compilateur de Cellules Complexes”, Troisième Colloque du GDR CAO de circuits et systèmes intégrés, Paris, France, pp. 21-24 (2002)