PORTO @ Archivio Istituzionale della Ricerca

MURCIANO, MARCO

MURCIANO, MARCO  

Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)  

017081  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.015 secondi).
Citazione Data di pubblicazione Autori File
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco. - STAMPA. - (2008), pp. 129-136. (Intervento presentato al convegno ICCAD'08: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 10-13 nov 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO -
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits / Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio. - (2009). (Intervento presentato al convegno High Level Design Validation and Test Workshop (HLDVT) tenutosi a Grand Hyatt, San Francisco, CA, USA nel November 4–6, 2009). 1-gen-2009 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIO + -
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2009), pp. 1686-1691. (Intervento presentato al convegno DATE'09: ACM/IEEE Design Automation and Test in Europe tenutosi a Nice, France nel April 20,24). 1-gen-2009 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + -
Stepping Forward with Interpolants in Unbounded Model Checking / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - (2006), pp. 772-778. (Intervento presentato al convegno ICCAD'06: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 5-9 november 2006). 1-gen-2006 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano -
Stepping forward with interpolates in unbounded model checking / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - (2006), pp. 772-778. (Intervento presentato al convegno 2006 International Conference on Computer-Aided Design, ICCAD tenutosi a San Jose, CA (USA) nel 2006) [10.1109/ICCAD.2006.320119]. 1-gen-2006 Cabodi, GianpieroMurciano, MarcoNocco, SergioQuer, Stefano iccad2006A4.pdf; Stepping_Forward_with_Interpolants_in_Unbounded_Model_Checking.pdf
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano. - STAMPA. - (2008), pp. 205-212. (Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008). 1-gen-2008 CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCOGARCIA GALEANO, LUZ AMANDANOCCO, SERGIOQUER, Stefano -
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules / Murciano, Marco; Violante, Massimo. - 1:(2007), pp. 179-186. (Intervento presentato al convegno High Level Design Validation and Test Workshop (HLDVT) tenutosi a Hyatt Regency Irvine, CA, USA nel November 7-9, 2007). 1-gen-2007 MURCIANO, MARCOVIOLANTE, MASSIMO -