| |
| 2008 | ||
|---|---|---|
| 4 | EE | Gianpiero Cabodi, Paolo Camurati, Marco Murciano: Automated abstraction by incremental refinement in interpolant-based model checking. ICCAD 2008: 129-136 |
| 3 | EE | 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 | EE | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Stepping forward with interpolants in unbounded model checking. ICCAD 2006: 772-778 |
| 1 | EE | Gianpiero Cabodi, Marco Murciano: BDD-Based Hardware Verification. SFM 2006: 78-107 |
| 1 | Gianpiero Cabodi | [1] [2] [3] [4] |
| 2 | Paolo Camurati | [4] |
| 3 | Sergio Nocco | [2] [3] |
| 4 | Stefano Quer | [2] [3] |