Concepedia

Marco Murciano

MM

5

Publications

87

Citations

5

H-Index

2006

Active since

Affiliations

Polytechnic University of Turin(Current)

Marco Murciano is an author at Polytechnic University of Turin specializing in automated reasoning, formal verification, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisComputer EngineeringMathematical Programming

Publications per year

2006–2009

5

Publications

5

Stepping forward with interpolants in unbounded model checking

Gianpiero Cabodi, Marco Murciano, Sergio Nocco et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 26 citations

Mathematical Programming, Engineering, Verification +17

Automated abstraction by incremental refinement in interpolant-based model checking

Gianpiero Cabodi, P. Camurati, Marco Murciano · 2008 · 18 citations

Engineering, Incremental Refinement, Verification +16

Boosting interpolation with dynamic localized abstraction and redundancy removal

Gianpiero Cabodi, Marco Murciano, Sergio Nocco et al. · ACM Transactions on Design Automation of Electronic Systems · 2008 · 16 citations

Mathematical Programming, Engineering, Machine Learning +21

Speeding up model checking by exploiting explicit and hidden verification constraints

Gianpiero Cabodi, P. Camurati, L. Garcia et al. · Design, Automation, and Test in Europe · 2009 · 14 citations

Mathematical Programming, Engineering, Verification +20

Speeding up model checking by exploiting explicit and hidden verification constraints

Gianpiero Cabodi, P. Camurati, L. Garcia et al. · 2009 · 13 citations

Mathematical Programming, Engineering, Verification +20

Rows per page

1–5 of 5