Marco Murciano

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. J. Electron. Test. 26 (2) (2010)
Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (3) (2010)
Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. 15 (2) (2010)
Gianpiero Cabodi, Marco Murciano, Massimo Violante
Boosting software fault injection for dependability analysis of real-time embedded applications. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Speeding up model checking by exploiting explicit and hidden verification constraints. DATE (2009)
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. HLDVT (2009)
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst. 13 (1) (2008)
Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD (2008)
Gianpiero Cabodi, Paolo Camurati, Marco Murciano
Automated abstraction by incremental refinement in interpolant-based model checking. ICCAD (2008)
Marco Murciano, Massimo Violante
Validating the dependability of embedded systems through fault injection by means of loadable kernel modules. HLDVT (2007)
Gianpiero Cabodi, Marco Murciano
BDD-Based Hardware Verification. SFM (2006)
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
Stepping forward with interpolants in unbounded model checking. ICCAD (2006)