Ph.D. in Ingegneria Informatica E Dei Sistemi , 21st cycle (2006-2008)
Ph.D. obtained in 2009
Dissertation:
Applied Formal Methods for Embedded Systems Specification, Design and Verification
Tutors:
Gianpiero CabodiProfile
Teaching
Teachings
Bachelor of Science
- Architettura dei sistemi operativi. A.A. 2008/9, INGEGNERIA INFORMATICA. Collaboratore del corso
Publications
Works published during the Ph.D. View all publications in Porto@Iris
- Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2006)
Stepping forward with interpolates in unbounded model checking. In: 2006 International Conference on Computer-Aided Design, ICCAD, San Jose, CA (USA), 2006, pp. 772-778. ISBN: 978-1-59593-389-8
Contributo in Atti di Convegno (Proceeding)