| 2011 | DATE | Optimized model checking of multiple properties. | Gianpiero Cabodi, Sergio Nocco |
| 2011 | DATE | Interpolation sequences revisited. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2009 | DATE | Speeding up model checking by exploiting explicit and hidden verification constraints. | Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2008 | FMCAD | Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. | Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2007 | DATE | Boosting the role of inductive invariants in model checking. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2006 | ICCAD | Stepping forward with interpolants in unbounded model checking. | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2005 | DATE | Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. | Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer |
| 2003 | DATE | Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2002 | CAV | Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |