Dottorato in Ingegneria Informatica E Dei Sistemi , 21o ciclo (2006-2008)
Dottorato concluso nel 2009
Tesi:
Applied Formal Methods for Embedded Systems Specification, Design and Verification
Tutori:
Gianpiero CabodiProfilo
Pubblicazioni
Pubblicazioni durante il dottorato Vedi tutte le pubblicazioni su Porto@Iris
- Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio (2009)
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits. In: High Level Design Validation and Test Workshop (HLDVT), Grand Hyatt, San Francisco, CA, USA, November 4–6, 2009
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; ... (2009)
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints. In: DATE'09: ACM/IEEE Design Automation and Test in Europe, Nice, France, April 20,24, pp. 1686-1691. ISBN: 9783981080155
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2008)
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal. In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, vol. 13. ISSN 1084-4309
Contributo su Rivista - 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) - Chiesa, S; DE IACOVO, V; Malnati, Giovanni; Murciano, Marco; Plucinski, K. M.; Stesina, ... (2008)
Low Cost Indoor Navigation System For Autonomous Vehicle. In: INTERNATIONAL JOURNAL OF MECHANICS AND CONTROL, vol. 9, Issue 1, Article 1, pp. 3-16. ISSN 1590-8844
Contributo su Rivista - Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco (2008)
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking. In: ICCAD'08: IEEE/ACM International Conference on Computer Aided Design, San Jose, 10-13 nov 2008, pp. 129-136. ISBN: 9781424428205
Contributo in Atti di Convegno (Proceeding) - Cabodi, Gianpiero; Murciano, Marco (2008)
Interpolant-Based Unbounded Model Checking.
Altro - Murciano, Marco; Violante, Massimo (2007)
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules. In: High Level Design Validation and Test Workshop (HLDVT), Hyatt Regency Irvine, CA, USA, November 7-9, 2007, pp. 179-186. ISBN: 9781552667415
Contributo in Atti di Convegno (Proceeding) - 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) - Cabodi, Gianpiero; Murciano, Marco (2006)
BDD-Based Hardware Verification. In: Formal Methods for Hardware Verification / BERNARDO M.; CIMATTI A., BERLIN / HEIDELBERG, Springer, pp. 78-107. ISBN: 9783540343042
Contributo in Volume - Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2006)
Stepping Forward with Interpolants in Unbounded Model Checking. In: ICCAD'06: IEEE/ACM International Conference on Computer Aided Design, San Jose, 5-9 november 2006, pp. 772-778. ISBN: 9781595933898
Contributo in Atti di Convegno (Proceeding) - Murciano, Marco; Nocco, S. (2006)
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata. pp. 1-77
Altro