Gianpiero Cabodi

Available identifiers

zbMath Open cabodi.gianpieroMaRDI QIDQ453481

List of research outcomes

Publication	Date of Publication	Type
Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking	2023-05-08	Paper
Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification	2019-10-14	Paper
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem	2017-10-17	Paper
Optimization techniques for Craig interpolant compaction in unbounded model checking	2015-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q2849593	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2845514	2013-08-30	Paper
Benchmarking a model checker for algorithmic improvements and tuning for performance	2012-09-27	Paper
Formal Methods for Hardware Verification	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4804917	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551139	2002-09-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gianpiero Cabodi