Enea Zaffanella

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 18

Top Venues

SAS

CoRR

Electron. Notes Theor. Comput. Sci.

ARCH

University of Leeds, UK (PHD)

Education History

University of Leeds, UK

PHD

Publications

Anna Becchi, Alessandro Cimatti, Enea Zaffanella
P-stable abstractions of hybrid systems. Softw. Syst. Model. 23 (2) (2024)
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS (2023)
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Speeding up Static Analysis with the Split Operator. SOAP@PLDI (2023)
Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP (2022)
Goran Frehse, Mirco Giacobbe, Enea Zaffanella
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS (2022)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF (2021)
Anna Becchi, Alessandro Cimatti, Enea Zaffanella
Synthesis of P-Stable Abstractions. SEFM (2020)
Anna Becchi, Enea Zaffanella
PPLite: Zero-overhead encoding of NNC polyhedra. Inf. Comput. 275 (2020)
Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH (2020)
Anna Becchi, Enea Zaffanella
Revisiting Polyhedral Analysis for Hybrid Systems. SAS (2019)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek (2019)
Anna Becchi, Enea Zaffanella
A Direct Encoding for NNC Polyhedra. CAV (1) (2018)
Anna Becchi, Enea Zaffanella
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. SAS (2018)
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS (2018)
Enea Zaffanella
On the Efficiency of Convex Polyhedra. Electron. Notes Theor. Comput. Sci. 334 (2018)
Anna Becchi, Enea Zaffanella
A Conversion Procedure for NNC Polyhedra. CoRR (2017)
Gianluca Amato, Francesca Scozzari, Enea Zaffanella
Efficient Constraint/Generator Removal from Double Description of Polyhedra. Electron. Notes Theor. Comput. Sci. 307 (2014)
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
A new look at the automatic synthesis of linear ranking functions. Inf. Comput. 215 (2012)
Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version CoRR (2010)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. 43 (5) (2010)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. 410 (46) (2009)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods Syst. Des. 35 (3) (2009)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR (2009)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72 (1-2) (2008)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI (2008)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 9 (3-4) (2007)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems CoRR (2007)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR (2007)
Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella
On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR (2007)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR (2007)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems CoRR (2006)
Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR (2006)
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. 5 (1-2) (2005)
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
Precise widening operators for convex polyhedra. Sci. Comput. Program. 58 (1-2) (2005)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Not necessarily closed convex polyhedra and the double description method. Formal Aspects Comput. 17 (2) (2005)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
Widening Operators for Weakly-Relational Numeric Abstractions. SAS (2005)
Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS (2005)
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR (2005)
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages CoRR (2004)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR (2004)
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Enhanced sharing analysis techniques: a comprehensive evaluation CoRR (2004)
Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Theory Pract. Log. Program. 4 (3) (2004)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Widening Operators for Powerset Domains. VMCAI (2004)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version CoRR (2004)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193 (2) (2004)
Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
Precise Widening Operators for Convex Polyhedra. SAS (2003)
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
Decomposing non-redundant sharing by complementation. Theory Pract. Log. Program. 2 (2) (2002)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277 (1-2) (2002)
Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS (2002)
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
Soundness, idempotence and commutativity of set-sharing. Theory Pract. Log. Program. 2 (2) (2002)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE (2001)
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
Decomposing Non-Redundant Sharing by Complementation CoRR (2001)
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
Boolean Functions for Finite-Tree Dependencies. LPAR (2001)
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE (2001)
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
Soundness, Idempotence and Commutativity of Set-Sharing CoRR (2001)
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-Tree Analysis for Constraint Logic-Based Languages. SAS (2001)
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP (2000)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Efficient Structural Information Analysis for Real CLP Languages. LPAR (2000)
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
Decomposing Non-redundant Sharing by Complementation. SAS (1999)
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
Widening Sharing. PPDP (1999)
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
Enhancing Sharing for Precision. APPIA-GULP-PRODE (1999)
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
Widening Sharing. APPIA-GULP-PRODE (1999)
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
The Correctness of Set-Sharing. SAS (1998)
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
The Correctness of Set-Sharing. APPIA-GULP-PRODE (1998)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Set-Sharing is Redundant for Pair-Sharing. SAS (1997)
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997 (6) (1997)
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Sharing Revisited. APPIA-GULP-PRODE (1997)
Enea Zaffanella
Modular Analysis of Suspension Free cc Programs. APPIA-GULP-PRODE (1996)
Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE (1996)
Enea Zaffanella
Domain Independent Ask Approximation in CCP. CCP (1995)
Enea Zaffanella
Domain Independent Ask Approximation in CCP. CP (1995)
Enea Zaffanella
Domain Independent Ask Approximation in CCP. GULP-PRODE (1995)
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
Abstracting Synchronization in Concurrent Constraint Programming. PLILP (1994)
Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)

Enea Zaffanella.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enea Zaffanella