| 2025 | CADE | A Theorem Prover Based Approach for SAT-Based Model Checking Certification. | Giulia Sindoni, Paolo Pasini, Gianpiero Cabodi, Paolo E. Camurati, Alberto Griggio, Marco Palena, Marco Roveri, Stefano Tonetta |
| 2021 | DATE | Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. | Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, Joo Marques-Silva, Marco Palena, Paolo Pasini |
| 2019 | FedCSIS | KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study. | Edoardo Fadda, Daniele Manerba, Roberto Tadei, Paolo Camurati, Gianpiero Cabodi |
| 2017 | CoDIT | GPU-only unified ConvMM layer for neural classifiers. | Syed Tahir Hussain Rizvi, Gianpiero Cabodi, Gianluca Francini |
| 2017 | SEFM | Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
| 2016 | CoDIT | Gabor filter based image representation for object classification. | Syed Tahir Hussain Rizvi, Gianpiero Cabodi, Pedro P. B. de Gusmao, Gianluca Francini |
| 2016 | CPM | A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem. | Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer |
| 2016 | FMCAD | Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening. | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
| 2016 | IOLTS | Scalable FPGA graph model to detect routing faults. | Luca Sterpone, Gianpiero Cabodi, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Boyang Du |
| 2014 | DATE | Tightening BDD-based approximate reachability with SAT-based clause generalization | Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto |
| 2014 | FMCAD | Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking. | Gianpiero Cabodi, Marco Palena, Paolo Pasini |
| 2013 | DATE | Optimization techniques for craig interpolant compaction in unbounded model checking. | Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto |
| 2013 | FMCAD | Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3. | Marco Palena, Gianpiero Cabodi, Alan Mishchenko |
| 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 |
| 2008 | ICCAD | Automated abstraction by incremental refinement in interpolant-based model checking. | Gianpiero Cabodi, Paolo Camurati, Marco Murciano |
| 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 |
| 2002 | DAC | Can BDDs compete with SAT solvers on bounded model checking? | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2002 | DATE | Dynamic Scheduling and Clustering in Symbolic Image Computation. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2001 | CAV | Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions. | Gianpiero Cabodi |
| 2001 | DATE | Biasing symbolic search by means of dynamic activity profiles. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2000 | DAC | Optimizing sequential verification by retiming transformations. | Gianpiero Cabodi, Stefano Quer, Fabio Somenzi |
| 1999 | DAC | Improving Symbolic Traversals by Means of Activity Profiles. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1999 | DATE | Computing Timed Transition Relations for Sequential Cycle-Based Simulation. | Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer |
| 1997 | DAC | Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1997 | DATE | Verification and synthesis of counters based on symbolic techniques. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1996 | ICCAD | Improved reachability analysis of large finite state machines. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1996 | ICCD | Enhancing FSM Traversal by Temporary Re-Encoding. | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich |
| 1994 | DAC | Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ICCD | Efficient State Space Pruning in Symbolic Backward Traversal. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ISCAS | Detecting hard faults with combined approximate forward/backward symbolic techniques. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ITC | Full-Symbolic ATPG for Large Circuits. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | PDP | A BDD Package For A Massively Parallel SIMD Architecture. | Gianpiero Cabodi, Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda |
| 1993 | ICCD | Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation. | Gianpiero Cabodi, Paolo Camurati |
| 1992 | DAC | A New Model for Improving symbolic Product Machine Traversal. | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda |
| 1992 | ITC | Sequential Circuit Diagnosis Based on Formal Verification Techniques. | Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda |
| 1991 | ICCD | Fast Differential Fault Simulation by Dynamic Fault Ordering. | Gianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda |