Marco Murciano

Dottorato in Ingegneria Informatica E Dei Sistemi , 21^o ciclo (2006-2008)

Dottorato concluso nel 2009

Tesi:

Applied Formal Methods for Embedded Systems Specification, Design and Verification

Tutori:

Gianpiero Cabodi

Profilo

Didattica

Insegnamenti

Corso di laurea di 1° livello

Architettura dei sistemi operativi. A.A. 2008/9, INGEGNERIA INFORMATICA. Collaboratore del corso

MostraNascondi A.A. passati

Pubblicazioni

Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su 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)