Doutor em PhD
Equipe : ALSOC
Data de partida : 13/12/2006
Direção de pesquisa : Emmanuelle ENCRENAZ Co-supervisão£o : GREINER Alain
Diarammes de décision de données pour la vérification de systemes matériels
Defesas : 13/12/2006 - 14h - Site Jussieu Membros da banca : GREINER Alain, UPMC/LIP,
ENCRENAZ Emmanuelle, UPMC/LIP,
KORDON Fabrice, UPMC/LIP,
PETRUCCI Laure, LIPN
COUVREUR Jean Michel, LIFO
BENALYCHERIF Mohamed,ST MICROELECTRONICS
Publicações 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)
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)