Marco Murciano

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