Enea Zaffanella

Available identifiers

zbMath Open zaffanella.eneaMaRDI QIDQ281282

List of research outcomes

Publication	Date of Publication	Type
Revisiting polyhedral analysis for hybrid systems	2024-04-19	Paper
Symbolic analysis of linear hybrid automata -- 25 years later	2023-08-10	Paper
Decoupling the ascending and descending phases in abstract interpretation	2023-07-25	Paper
An efficient abstract domain for not necessarily closed polyhedra	2023-05-26	Paper
A direct encoding for NNC polyhedra	2023-05-26	Paper
On the efficiency of convex polyhedra	2022-04-25	Paper
Synthesis of P-stable abstractions	2021-07-08	Paper
PPLite: zero-overhead encoding of NNC polyhedra	2020-12-15	Paper
Efficient constraint/generator removal from double description of polyhedra	2016-05-10	Paper
A new look at the automatic synthesis of linear ranking functions	2012-10-11	Paper
Boolean Functions for Finite-Tree Dependencies	2011-05-06	Paper
Exact join detection for convex polyhedra and other numerical abstractions	2010-03-11	Paper
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness	2010-02-05	Paper
Applications of polyhedral computations to the analysis and verification of hardware and software systems	2009-11-04	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
An Improved Tight Closure Algorithm for Integer Octagonal Constraints	2008-04-04	Paper
Grids: A Domain for Analyzing the Distribution of Numerical Values	2007-09-10	Paper
Static Analysis	2006-10-31	Paper
Static Analysis	2006-10-31	Paper
Finite-tree analysis for constraint logic-based languages	2006-03-07	Paper
Not necessarily closed convex polyhedra and the double description method	2005-12-13	Paper
Precise widening operators for convex polyhedra	2005-10-10	Paper
Enhanced sharing analysis techniques: a comprehensive evaluation	2005-04-29	Paper
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q4813407	2004-08-13	Paper
Soundness, idempotence and commutativity of set-sharing	2004-03-01	Paper
Decomposing non-redundant sharing by complementation	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411960	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4778701	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767017	2002-07-22	Paper
Set-sharing is redundant for pair-sharing	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4494374	2001-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4494373	2000-08-10	Paper

Research outcomes over time

This page was built for person: Enea Zaffanella