| 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 | 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 | 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 |
| 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 |
| 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 | DATE | Biasing symbolic search by means of dynamic activity profiles. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 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 | VTS | A new functional fault model for system-level descriptions. | Paolo Camurati, Fulvio Corno, Michela Meo, Paolo Prinetto |
| 1994 | VTS | An industrial experience in the built-in self test of embedded RAMs. | Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda, Stefano Barbagallo, Andrea Burri, Davide Medina |
| 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 |
| 1992 | VTS | A simulation-based approach to test pattern generation for synchronous sequential circuits. | Paolo Camurati, Fulvio Corno, Fulvio Prinetto, Matteo Sonza Reorda |
| 1990 | CAV | The Use of Model Checking in ATPG for Sequential Circuits. | Paolo Camurati, Marco Gilli, Paolo Prinetto, Matteo Sonza Reorda |
| 1990 | ITC | A diagnostic test pattern generation algorithm. | Paolo Camurati, Davide Medina, Paolo Prinetto, Matteo Sonza Reorda |
| 1988 | ICCD | A functional approach to formal hardware verification: the MTI experience. | Dominique Borrione, Paolo Camurati, J. L. Paillet, Paolo Prinetto |
| 1988 | ICCD | Random testability analysis: comparing and evaluating existing approaches. | Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda |