Stepping forward with interpolants in unbounded model checking. - Gianpiero Cabodi; Marco Murciano; Sergio Nocco; Stefano Quer (ICCAD, 2006)

BDD-Based Hardware Verification. - Gianpiero Cabodi; Marco Murciano (SFM, 2006)

Validating the dependability of embedded systems through fault injection by means of loadable kernel modules. - Marco Murciano; Massimo Violante (HLDVT, 2007)

Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (FMCAD, 2008)

Automated abstraction by incremental refinement in interpolant-based model checking. - Gianpiero Cabodi; Paolo Camurati; Marco Murciano (ICCAD, 2008)

Boosting interpolation with dynamic localized abstraction and redundancy removal. - Gianpiero Cabodi; Marco Murciano; Sergio Nocco; Stefano Quer (ACM Trans. Design Autom. Electr. Syst., 2008)

Speeding up model checking by exploiting explicit and hidden verification constraints. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (DATE, 2009)

Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (HLDVT, 2009)

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (J. Electron. Test., 2010)

Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. - Gianpiero Cabodi; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Boosting software fault injection for dependability analysis of real-time embedded applications. - Gianpiero Cabodi; Marco Murciano; Massimo Violante (ACM Trans. Embed. Comput. Syst., 2010)

Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. - Gianpiero Cabodi; Luciano Lavagno; Marco Murciano; Alex Kondratyev; Yosinori Watanabe (ACM Trans. Design Autom. Electr. Syst., 2010)