Dottorato in Ingegneria Informatica E Dei Sistemi , 21o ciclo (2006-2008)
Dottorato concluso nel 2009
Tesi:
SAT-and QBF- Based symbolic techniques: decision, procedures and applications
Tutori:
Stefano QuerDidattica
Insegnamenti
Corso di laurea di 1° livello
- Informatica. A.A. 2008/9, INGEGNERIA MECCANICA. Collaboratore del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; ... (2008)
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. In: FMCAD 2008: Formal Methods in Computer Aided Design, Portland, OR, USA, 17-20 novembre 2008, pp. 205-212. ISBN: 9781424427352
Contributo in Atti di Convegno (Proceeding) - Bruno, V; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano (2008)
Stressing Symbolic Scheduling Techniqueswithin Aircraft Maintenance Optimization. In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION, vol. 5, pp. 77-104. ISSN 1574-0617
Contributo su Rivista