default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianpiero Cabodi
- > Home > Persons > Gianpiero Cabodi
Publications
- 2024
[j38]Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini:
Improving Bounded Model Checking Exploiting Interpolation-Based Learning and Strengthening. IEEE Access 12: 119341-119349 (2024)- [j37]Gianpiero Cabodi
, Paolo E. Camurati, Marco Palena, Paolo Pasini:
Hardware Model Checking Algorithms and Techniques. Algorithms 17(6): 253 (2024) - 2022
- [j36]Gianpiero Cabodi, Paolo E. Camurati, Marco Palena, Paolo Pasini:
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. Formal Methods Syst. Des. 60(2): 117-146 (2022) - 2021
- [c62]Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini:
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. DATE 2021: 1122-1125 - 2020
- [j35]Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto:
Reducing Interpolant Circuit Size Through SAT-Based Weakening. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1524-1531 (2020) - 2019
- [j34]Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto:
Logic Synthesis for Interpolant Circuit Compaction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(2): 380-384 (2019) - [c61]Gianpiero Cabodi, Paolo Camurati, Fabrizio F. Finocchiaro, Danilo Vendraminetto:
Model Checking Speculation-Dependent Security Properties: Abstracting and Reducing Processor Models for Sound and Complete Verification. C2SI 2019: 462-479 - [c60]Edoardo Fadda, Daniele Manerba, Roberto Tadei, Paolo Camurati, Gianpiero Cabodi:
KPIs for Optimal Location of charging stations for Electric Vehicles: the Biella case-study. FedCSIS 2019: 123-126 - 2018
- [j33]Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer:
To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking. Int. J. Softw. Tools Technol. Transf. 20(3): 313-325 (2018) - 2017
- [j32]Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto:
Embedded Systems Secure Path Verification at the Hardware/Software Interface. IEEE Des. Test 34(5): 38-46 (2017) - [j30]Gianpiero Cabodi, Paolo Camurati, Alan Mishchenko, Marco Palena, Paolo Pasini:
SAT solver management strategies in IC3: an experimental approach. Formal Methods Syst. Des. 50(1): 39-74 (2017) - [c58]Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto:
Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). SEFM 2017: 382-387 - 2016
- [j28]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
A graph-labeling approach for efficient cone-of-influence computation in model-checking problems with multiple properties. Softw. Pract. Exp. 46(4): 493-511 (2016) - [c56]Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer:
A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem. CPM 2016: 11:1-11:8 - [c55]Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto:
Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening. FMCAD 2016: 25-32 - [c53]Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Carmelo Loiacono, Francesco Savarese, Danilo Vendraminetto:
Secure Path Verification. IVSW 2016: 1-6 - [i2]Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer:
A Greedy Approach to Answer Reachability Queries on DAGs. CoRR abs/1611.02506 (2016) - 2009
- [c46]Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer:
Speeding up model checking by exploiting explicit and hidden verification constraints. DATE 2009: 1686-1691 - 2008
- [c44]Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer:
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD 2008: 1-8 - [c43]Gianpiero Cabodi, Paolo Camurati, Marco Murciano:
Automated abstraction by incremental refinement in interpolant-based model checking. ICCAD 2008: 129-136 - 2002
- [c33]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Can BDDs compete with SAT solvers on bounded model checking? DAC 2002: 117-122 - [c32]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Dynamic Scheduling and Clustering in Symbolic Image Computation. DATE 2002: 150-156 - 2001
- [j14]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring. J. Syst. Archit. 47(2): 163-179 (2001) - [c29]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Biasing symbolic search by means of dynamic activity profiles. DATE 2001: 9-15 - 2000
- [j13]Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton:
Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods Syst. Des. 17(2): 107-134 (2000) - [j12]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Symbolic forward/backward traversals of large finite state machines. J. Syst. Archit. 46(12): 1137-1158 (2000) - [j11]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improving symbolic reachability analysis by means of activityprofiles. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(9): 1065-1075 (2000) - 1999
- [j10]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improving the efficiency of BDD-based operators by means of partitioning. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(5): 545-556 (1999) - [c27]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improving Symbolic Traversals by Means of Activity Profiles. DAC 1999: 306-311 - [c26]Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer:
Computing Timed Transition Relations for Sequential Cycle-Based Simulation. DATE 1999: 8-12 - 1998
- [j9]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods Syst. Des. 12(3): 267-289 (1998) - [j8]Gianpiero Cabodi, Stefano Quer, Paolo Camurati:
Memory Optimization in Function and Set Manipulation with BDDs. Softw. Pract. Exp. 28(1): 99-120 (1998) - [j7]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Auxiliary variables for BDD-based representation and manipulation of Boolean functions. ACM Trans. Design Autom. Electr. Syst. 3(3): 309-340 (1998) - 1997
- [j6]Gianpiero Cabodi, Paolo Camurati:
Symbolic FSM traversals based on the transition relation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(5): 448-457 (1997) - [c25]Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer:
A parallel approach to symbolic traversal based on set partitioning. CHARME 1997: 167-184 - [c24]Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer:
Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC 1997: 728-733 - [c23]Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer:
Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181 - 1996
- [c22]Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer, Robert K. Brayton, Ellen Sentovich:
Incremental re-encoding for symbolic traversal of product machines. EURO-DAC 1996: 158-163 - [c21]Stefano Quer, Gianpiero Cabodi, Paolo Camurati:
Decomposed symbolic forward traversals of large finite state machines. EURO-DAC 1996: 170-175 - [c20]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Improved reachability analysis of large finite state machines. ICCAD 1996: 354-360 - [c19]Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich:
Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11 - 1995
- [c18]Gianpiero Cabodi, Stefano Quer, Paolo Camurati:
Transforming boolean relations by symbolic encoding. CHARME 1995: 161-170 - [c17]Gianpiero Cabodi, Stefano Quer, Paolo Camurati:
Computing subsets of equivalence classes for large FSMs. EURO-DAC 1995: 288-293 - 1994
- [c16]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. DAC 1994: 289-293 - [c15]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Symbolic exploration of large circuits with enhanced forward/backward traversals. EURO-DAC 1994: 22-27 - [c14]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Symbolic traversals of data paths with auxiliary variables. Great Lakes Symposium on VLSI 1994: 93-96 - [c13]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Efficient State Space Pruning in Symbolic Backward Traversal. ICCD 1994: 230-235 - [c12]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Detecting hard faults with combined approximate forward/backward symbolic techniques. ISCAS 1994: 299-302 - [c11]Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Full-Symbolic ATPG for Large Circuits. ITC 1994: 980-988 - 1993
- [j5]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
An approach to sequential circuit diagnosis based on formal verification techniques. J. Electron. Test. 4(1): 11-17 (1993) - [c9]Gianpiero Cabodi, Paolo Camurati:
Advancements in Symbolic Traversal Technique. CHARME 1993: 155-166 - [c8]Gianpiero Cabodi, Paolo Camurati:
Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation. ICCD 1993: 299-303 - 1992
- [c7]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda:
A New Model for Improving symbolic Product Machine Traversal. DAC 1992: 614-619 - [c6]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
Cross-fertilizing FSM verification techniques and sequential diagnosis. EURO-DAC 1992: 306-311 - [c5]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196 - 1991
- [j3]Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda:
TPDL: Extended Temporal Profile Description Language. Softw. Pract. Exp. 21(4): 355-374 (1991) - 1989
- [j1]Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda:
Expressing logical and temporal conditions in simulation environments: TPDL*. Microprocessing and Microprogramming 26(4): 241-252 (1989) - 1986
- [c1]Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto:
Experiences in Prolog-Based DFT Rule Checking. FJCC 1986: 909-914
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-19 00:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
