G. 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
Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking	2013-09-20	Paper
A BMC-formulation for the scheduling problem in highly constrained hardware systems	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

This page was built for person: G. Cabodi