| 2009 |
|---|
| 13 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Strengthening Model Checking Techniques With Inductive Invariants.
IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 154-158 (2009) |
| 2008 |
|---|
| 12 | 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) |
| 2007 |
|---|
| 11 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Boosting the role of inductive invariants in model checking.
DATE 2007: 1319-1324 |
| 2006 |
|---|
| 10 | EE | Gianpiero Cabodi,
Marco Murciano,
Sergio Nocco,
Stefano Quer:
Stepping forward with interpolants in unbounded model checking.
ICCAD 2006: 772-778 |
| 2005 |
|---|
| 9 | EE | Gianpiero Cabodi,
Marco Crivellari,
Sergio Nocco,
Stefano Quer:
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.
DATE 2005: 688-689 |
| 8 | EE | Gabriel P. Bischoff,
Karl S. Brace,
Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
Electr. Notes Theor. Comput. Sci. 119(2): 33-49 (2005) |
| 7 | EE | Gianpiero Cabodi,
Alex Kondratyev,
Luciano Lavagno,
Sergio Nocco,
Stefano Quer,
Yosinori Watanabe:
A BMC-based formulation for the scheduling problem of hardware systems.
STTT 7(2): 102-117 (2005) |
| 6 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Are BDDs still alive within sequential verification?
STTT 7(2): 129-142 (2005) |
| 2004 |
|---|
| 5 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals.
J. UCS 10(12): 1696-1730 (2004) |
| 2003 |
|---|
| 4 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals.
DATE 2003: 10898-10905 |
| 3 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer,
Alex Kondratyev,
Luciano Lavagno,
Yosinori Watanabe:
A BMC-formulation for the scheduling problem in highly constrained hardware Systems.
Electr. Notes Theor. Comput. Sci. 89(4): (2003) |
| 2002 |
|---|
| 2 | EE | Gianpiero Cabodi,
Sergio Nocco,
Stefano Quer:
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification.
CAV 2002: 471-484 |
| 1 | EE | Luciano Lavagno,
Mihai T. Lazarescu,
Stefano Quer,
Sergio Nocco,
Claudio Passerone,
Gianpiero Cabodi:
A Symbolic Approach for the Combined Solution of Scheduling and Allocation.
ISSS 2002: 237-242 |
