Concepedia

Gianpiero Cabodi

GC

43

Publications

869

Citations

17

H-Index

1992

Active since

Affiliations

Polytechnic University of Turin(Current)

University of Udine

Telecom Italia (Italy)

Gianpiero Cabodi is an author at Polytechnic University of Turin specializing in computer science, formal methods, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationAutomated ReasoningVerificationProgram AnalysisComputational ComplexitySoftware Analysis

Publications per year

1992–2021

43

Publications

43

Disjunctive partitioning and partial iterative squaring

Gianpiero Cabodi, P. Camurati, Luciano Lavagno et al. · 1997 · 63 citations · Full text

Mathematical Programming, Circuit Complexity, Engineering +22

Improved reachability analysis of large finite state machines

Gianpiero Cabodi, P. Camurati, Stefano Quer · International Conference on Computer Aided Design · 1996 · 58 citations

Circuit Complexity, Bdd-based Symbolic Traversals, Engineering +22

Improved reachability analysis of large finite state machines

Gianpiero Cabodi, P. Camurati, Stefano Quer · 2002 · 46 citations

Circuit Complexity, Bdd-based Symbolic Traversals, Engineering +22

Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals

Gianpiero Cabodi, Sergio Nocco, Stefano Quer · Design, Automation, and Test in Europe · 2003 · 44 citations

Engineering, Verification, Computer-aided Verification +20

Improving SAT-based bounded model checking by means of BDD-based approximate traversals

Gianpiero Cabodi, Sergio Nocco, Stefano Quer · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 36 citations

Engineering, Verification, Computer-aided Verification +20

Rows per page

1–5 of 43