MURCIANO, MARCO

MURCIANO, MARCO  

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

017081  

Mostra records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.016 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 + -
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 -
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 + -