MURCIANO, MARCO

MURCIANO, MARCO  

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

017081  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.045 secondi).
Citazione Data di pubblicazione Autori File
Boosting Software Fault Injection for Dependability Analysis of Real-Time Embedded Applications / Cabodi, Gianpiero; Murciano, Marco; Violante, Massimo. - In: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. - ISSN 1539-9087. - 10:2(2010), pp. 24:1-24:32. [10.1145/1880050.1880060] 1-gen-2010 CABODI, GianpieroMURCIANO, MARCOVIOLANTE, MASSIMO -
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT / Cabodi, Gianpiero; Dipietro, L; Murciano, Marco; Nocco, S.. - In: JOURNAL OF ELECTRONIC TESTING. - ISSN 0923-8174. - 26:(2010), pp. 261-278. [10.1007/s10836-010-5144-0] 1-gen-2010 CABODI, GianpieroMURCIANO, MARCO + -
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking / Cabodi, Gianpiero; Garcia, L; Murciano, Marco; Nocco, S; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - STAMPA. - 29:(2010), pp. 382-395. [10.1109/TCAD.2010.2041847] 1-gen-2010 CABODI, GianpieroMURCIANO, MARCOQUER, Stefano + riv10-01.pdf
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34. [10.1145/1698759.1698762] 1-gen-2010 CABODI, GianpieroLAVAGNO, LucianoMURCIANO, 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 + -
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 -
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 13:1(2008). [10.1145/1297666.1297669] 1-gen-2008 CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano -
Interpolant-Based Unbounded Model Checking / Cabodi, Gianpiero; Murciano, Marco. - (2008). 1-gen-2008 CABODI, GianpieroMURCIANO, MARCO -
Low Cost Indoor Navigation System For Autonomous Vehicle / Chiesa, S; DE IACOVO, V; Malnati, Giovanni; Murciano, Marco; Plucinski, K. M.; Stesina, F; Zunino, C.. - In: INTERNATIONAL JOURNAL OF MECHANICS AND CONTROL. - ISSN 1590-8844. - 9, Issue 1, Article 1:(2008), pp. 3-16. 1-gen-2008 MALNATI, GIOVANNIMURCIANO, MARCOSTESINA F + -
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 -
BDD-Based Hardware Verification / Cabodi, Gianpiero; Murciano, Marco - In: Formal Methods for Hardware Verification / BERNARDO M.; CIMATTI A.. - BERLIN / HEIDELBERG : Springer, 2006. - ISBN 9783540343042. - pp. 78-107 1-gen-2006 CABODI, GianpieroMURCIANO, MARCO -
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.pdfStepping_Forward_with_Interpolants_in_Unbounded_Model_Checking.pdf
Temi d’esame svolti del corso di Algoritmi e Programmazione Avanzata / Murciano, Marco; Nocco, S.. - (2006), pp. 1-77. 1-gen-2006 MURCIANO, MARCO + -
Controllo Remoto Hardware e Software di Sistemi Aerospaziali a Basso Costo / Murciano, Marco. - (2005). 1-gen-2005 MURCIANO, MARCO -
Programmazione Concorrente con l'Asynchronous I/O / Murciano, Marco. - (2004). 1-gen-2004 MURCIANO, MARCO -