Marco Murciano

According to our database, Marco Murciano authored at least 12 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Boosting software fault injection for dependability analysis of real-time embedded applications.

Gianpiero Cabodi, Marco Murciano, Massimo Violante

ACM Trans. Embed. Comput. Syst., 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

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco

J. Electron. Test., 2010

2009

Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits.

Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

Speeding up model checking by exploiting explicit and hidden verification constraints.

Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer

Proceedings of the Design, Automation and Test in Europe, 2009

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

Automated abstraction by incremental refinement in interpolant-based model checking.

Gianpiero Cabodi, Paolo Camurati, Marco Murciano

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

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

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Validating the dependability of embedded systems through fault injection by means of loadable kernel modules.

Marco Murciano, Massimo Violante

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

BDD-Based Hardware Verification.

Gianpiero Cabodi, Marco Murciano

Proceedings of the Formal Methods for Hardware Verification, 2006

Stepping forward with interpolants in unbounded model checking.

Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006