Gianpiero Cabodi
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, VLSI and Analog Circuit Testing, Radiation Effects in Electronics, Embedded Systems Design Techniques
Most-Cited Works
- → Disjunctive partitioning and partial iterative squaring(1997)63 cited
- → Improved reachability analysis of large finite state machines(1996)58 cited
- → Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals(2003)44 cited
- → Can BDDs compete with SAT solvers on bounded model checking?(2002)29 cited
- → Disjunctive Partitioning And Partial Iterative Squaring: An Effective Approach For Symbolic Traversal Of Large Circuits(2005)29 cited
- → Comparative analysis of models and performance indicators for optimal service facility location(2020)26 cited
- → Stepping forward with interpolants in unbounded model checking(2006)26 cited
- → Benchmarking a model checker for algorithmic improvements and tuning for performance(2011)26 cited