P-stable abstractions of hybrid systems. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (Softw. Syst. Model., 2024)

Speeding up static analysis with the split operator. - Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea (Int. J. Softw. Tools Technol. Transf., 2024)

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. - Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea (2024)

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. - Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino (2024)

Towards a High Level Linter for Data Science. - Dolcetti, Greta; Cortesi, Agostino; Urban, Caterina; Zaffanella, Enea (2024)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. - Dolcetti, Greta; Arceri, Vincenzo; Iotti, Eleonora; Maffeis, Sergio; Cortesi, Agostino; Zaffanella, Enea (CoRR, 2024)

Speeding up Static Analysis with the Split Operator. - Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea (2023)

Unconstrained Variable Oracles for Faster Numeric Static Analyses. - Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea (2023)

Decoupling the Ascending and Descending Phases in Abstract Interpretation. - Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea (2022)

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea (2022)

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. - Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea (2022)

Decoupling the ascending and descending phases in Abstract Interpretation. - Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea (CoRR, 2022)

Reverse engineering with P-stable Abstractions. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (2021)

PPLite: Zero-overhead encoding of NNC polyhedra. - Becchi, Anna; Zaffanella, Enea (Inf. Comput., 2020)

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. - Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Mufid, Muhammad Syifa'ul; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea (2020)

Synthesis of P-Stable Abstractions. - Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea (2020)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Becchi, Anna; Bu, Lei; Cimatti, Alessandro; Giacobbe, Mirco; Griggio, Alberto; Mover, Sergio; Mufid, Muhammad Syifa'ul; Riouak, Idriss; Tonetta, Stefano; et al. (2019)

Revisiting Polyhedral Analysis for Hybrid Systems. - Becchi, Anna; Zaffanella, Enea (2019)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. - Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Mufid, Muhammad Syifa'ul; Zaffanella, Enea (2018)

A Direct Encoding for NNC Polyhedra. - Becchi, Anna; Zaffanella, Enea (2018)

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. - Becchi, Anna; Zaffanella, Enea (2018)

On the Efficiency of Convex Polyhedra. - Zaffanella, Enea (2017)

A Conversion Procedure for NNC Polyhedra. - Becchi, Anna; Zaffanella, Enea (CoRR, 2017)

Efficient Constraint/Generator Removal from Double Description of Polyhedra. - Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea (2014)

A new look at the automatic synthesis of linear ranking functions. - Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea (Inf. Comput., 2012)

Exact join detection for convex polyhedra and other numerical abstractions. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Comput. Geom., 2010)

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version - Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea (CoRR, 2010)

Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Formal Methods Syst. Des., 2009)

Applications of polyhedral computations to the analysis and verification of hardware and software systems. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Theor. Comput. Sci., 2009)

Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2009)

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Sci. Comput. Program., 2008)

An Improved Tight Closure Algorithm for Integer Octagonal Constraints. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (2008)

Widening operators for powerset domains. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Int. J. Softw. Tools Technol. Transf., 2007)

An Improved Tight Closure Algorithm for Integer Octagonal Constraints - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2007)

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2007)

Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2007)

On the Design of Generic Static Analyzers for Modern Imperative Languages - Bagnara, Roberto; Hill, Patricia M.; Pescetti, Andrea; Zaffanella, Enea (CoRR, 2007)

Widening operators for powerset domains. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Int. J. Softw. Tools Technol. Transf., 2006)

Grids: A Domain for Analyzing the Distribution of Numerical Values. - Bagnara, Roberto; Dobson, Katy Louise; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea (2006)

The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2006)

Not necessarily closed convex polyhedra and the double description method. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Formal Aspects Comput., 2005)

Precise widening operators for convex polyhedra. - Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea (Sci. Comput. Program., 2005)

Enhanced sharing analysis techniques: a comprehensive evaluation. - Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. (Theory Pract. Log. Program., 2005)

Widening Operators for Weakly-Relational Numeric Abstractions. - Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea (2005)

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. - Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea (2005)

PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis - Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea (CoRR, 2005)

Finite-tree analysis for constraint logic-based languages. - Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea (Inf. Comput., 2004)

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. - Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto (Theory Pract. Log. Program., 2004)

Widening Operators for Powerset Domains. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (2004)

Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) - Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea (CoRR, 2004)

A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages - Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto (CoRR, 2004)

Enhanced sharing analysis techniques: a comprehensive evaluation - Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. (CoRR, 2004)

Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version - Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea (CoRR, 2004)

Precise Widening Operators for Convex Polyhedra. - Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea (2003)

Set-sharing is redundant for pair-sharing. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (Theor. Comput. Sci., 2002)

Soundness, idempotence and commutativity of set-sharing. - Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea (Theory Pract. Log. Program., 2002)

Decomposing non-redundant sharing by complementation. - Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto (Theory Pract. Log. Program., 2002)

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. - Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. (2002)

Correctness, precision and efficiency in the sharing analysis of real logic languages. - Zaffanella, Enea (2001)

Finite-tree analysis for constraint logic-based languages. - Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea (2001)

Boolean functions for finite-tree dependencies. - Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M. (2001)

Boolean Functions for Finite-Tree Dependencies. - Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M. (2001)

Finite-Tree Analysis for Constraint Logic-Based Languages. - Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea (2001)

Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto (CoRR, 2001)

Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea (CoRR, 2001)

Efficient Structural Information Analysis for Real CLP Languages. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (2000)

Enhanced sharing analysis techniques: a comprehensive evaluation. - Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. (2000)

Enhancing Sharing for Precision. - Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. (1999)

Widening Sharing. - Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M. (1999)

Widening Sharing. - Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M. (1999)

Decomposing Non-redundant Sharing by Complementation. - Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto (1999)

The Correctness of Set-Sharing. - Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea (1998)

The Correctness of Set-Sharing. - Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea (1998)

Abstracting Synchronization in Concurrent Constraint Programming. - Zaffanella, Enea; Giacobazzi, Roberto; Levi, Giorgio (J. Funct. Log. Program., 1997)

Sharing Revisited. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (1997)

Set-Sharing is Redundant for Pair-Sharing. - Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea (1997)

The And-compositionality of CLP Computed Answer Constraints. - Bagnara, Roberto; Comini, Marco; Scozzari, Francesca; Zaffanella, Enea (1996)

Modular Analysis of Suspension Free cc Programs. - Zaffanella, Enea (1996)

Domain Independent Ask Approximation in CCP. - Zaffanella, Enea (1995)

Domain Independent Ask Approximation in CCP. - Zaffanella, Enea (1995)

Domain Independent Ask Approximation in CCP. - Zaffanella, Enea (1995)

Abstracting Synchronization in Concurrent Constraint Programming. - Zaffanella, Enea; Levi, Giorgio; Giacobazzi, Roberto (1994)

Abstracting Synchronization in Concurrent Constraint Programming. - Zaffanella, Enea; Giacobazzi, Roberto; Levi, Giorgio (1994)