Archivio Istituzionale della RicercaMURCIANO, MARCO
MURCIANO, MARCO
Dipartimento di Automatica Informatica (attivo dal 01/01/1900 al 31/12/2011)
017081
Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits
2009 Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, Sergio
Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints
2009 Cabodi, Gianpiero; Camurati, Paolo Enrico; L., Garcia; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco
Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking
2008 Cabodi, Gianpiero; Camurati, Paolo Enrico; Murciano, Marco; GARCIA GALEANO, LUZ AMANDA; Nocco, Sergio; Quer, Stefano
Validating the Dependability of Embedded Systems through Fault Injection by Means of Loadable Kernel Modules
2007 Murciano, Marco; Violante, Massimo
Stepping Forward with Interpolants in Unbounded Model Checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
Stepping forward with interpolates in unbounded model checking
2006 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Exploiting Incrementality in SAT-based Search for Multiple Equivalence-Preserving Transformations in Combinational Circuits / Cabodi, G., Dipietro, L., Murciano, M., Nocco, S.. - (2009). (High Level Design Validation and Test Workshop (HLDVT) Grand Hyatt, San Francisco, CA, USA November 4–6, 2009). | 1-gen-2009 | CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIO + | - |
| Speeding up Model Checking by Exploiting Explicit and Hidden Verification Constraints / Cabodi, G., Camurati, P.E., L., G., Murciano, M., Nocco, S., Quer, S.. - STAMPA. - (2009), pp. 1686-1691. (DATE'09: ACM/IEEE Design Automation and Test in Europe Nice, France April 20,24). | 1-gen-2009 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCONOCCO, SERGIOQUER, Stefano + | - |
| Automated Abstraction by Incremental Refinement in Interpolant-based Model Checking / Cabodi, G., Camurati, P.E., Murciano, M.. - STAMPA. - (2008), pp. 129-136. (ICCAD'08: IEEE/ACM International Conference on Computer Aided Design San Jose 10-13 nov 2008). | 1-gen-2008 | CABODI, GianpieroCAMURATI, Paolo EnricoMURCIANO, MARCO | - |
| Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / Cabodi, G., Camurati, P.E., Murciano, M., GARCIA GALEANO, L.A., Nocco, S., Quer, S.. - STAMPA. - (2008), pp. 205-212. (FMCAD 2008: Formal Methods in Computer Aided Design Portland, OR, USA 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, M., Violante, M.. - 1:(2007), pp. 179-186. (High Level Design Validation and Test Workshop (HLDVT) Hyatt Regency Irvine, CA, USA November 7-9, 2007). | 1-gen-2007 | MURCIANO, MARCOVIOLANTE, MASSIMO | - |
| Stepping Forward with Interpolants in Unbounded Model Checking / Cabodi, G., Murciano, M., Nocco, S., Quer, S.. - (2006), pp. 772-778. (ICCAD'06: IEEE/ACM International Conference on Computer Aided Design San Jose 5-9 november 2006). | 1-gen-2006 | CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano | - |
| Stepping forward with interpolates in unbounded model checking / Cabodi, G., Murciano, M., Nocco, S., Quer, S.. - (2006), pp. 772-778. (2006 International Conference on Computer-Aided Design, ICCAD San Jose, CA (USA) 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 |