 | 2009 |
|---|
| 6 |       | Gianpiero Cabodi,
Paolo Camurati,
Luz Garcia,
Marco Murciano,
Sergio Nocco,
Stefano Quer:
Speeding up model checking by exploiting explicit and hidden verification constraints.
DATE 2009: 1686-1691 |
| 2008 |
|---|
| 5 | | Gianpiero Cabodi,
Paolo Camurati,
Luz Garcia,
Marco Murciano,
Sergio Nocco,
Stefano Quer:
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.
FMCAD 2008: 1-8 |
| 4 | | Gianpiero Cabodi,
Paolo Camurati,
Marco Murciano:
Automated abstraction by incremental refinement in interpolant-based model checking.
ICCAD 2008: 129-136 |
| 3 | | Gianpiero Cabodi,
Marco Murciano,
Sergio Nocco,
Stefano Quer:
Boosting interpolation with dynamic localized abstraction and redundancy removal.
ACM Trans. Design Autom. Electr. Syst. 13(1): (2008) |
| 2006 |
|---|
| 2 | | Gianpiero Cabodi,
Marco Murciano,
Sergio Nocco,
Stefano Quer:
Stepping forward with interpolants in unbounded model checking.
ICCAD 2006: 772-778 |
| 1 | | Gianpiero Cabodi,
Marco Murciano:
BDD-Based Hardware Verification.
SFM 2006: 78-107 |
