Login / Signup
Paolo E. Camurati
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Model Checking
Temporal Logic
Timed Automata
Pspace Complete
Top Venues
DATE
Formal Methods Syst. Des.
Algorithms
</>
Publications
</>
Gianpiero Cabodi
,
Paolo E. Camurati
,
Marco Palena
,
Paolo Pasini
Hardware Model Checking Algorithms and Techniques.
Algorithms
17 (6) (2024)
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) (2022)
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)