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

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

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs - Vincenzo Arceri; Saverio Mattia Merenda; Greta Dolcetti; Luca Negrini; Luca Olivieri; Enea Zaffanella (Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024, 2024)

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables - Luca Negrini; Sofia Presotto; Pietro Ferrara; Enea Zaffanella; Agostino Cortesi (Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024, 2024)

Towards a High Level Linter for Data Science - Greta Dolcetti; Agostino Cortesi; Caterina Urban; Enea Zaffanella (Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024, 2024)

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

Speeding up Static Analysis with the Split Operator - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023, 2023)

Unconstrained Variable Oracles for Faster Numeric Static Analyses - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings, 2023)

Decoupling the Ascending and Descending Phases in Abstract Interpretation - Vincenzo Arceri; Isabella Mastroeni; Enea Zaffanella (Programming Languages and Systems - 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings, 2022)

ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking - Lei Bu; Goran Frehse; Atanu Kundu; Rajarshi Ray; Yuhui Shi; Enea Zaffanella (Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Munich, Germany, September 2022, 2022)

Symbolic Analysis of Linear Hybrid Automata - 25 Years Later - Goran Frehse; Mirco Giacobbe; Enea Zaffanella (Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 2022)

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

Reverse engineering with P-stable Abstractions - Anna Becchi; Alessandro Cimatti; Enea Zaffanella (Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021, 2021)

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

ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking - Lei Bu; Alessandro Abate; Dieky Adzkiya; Muhammad Syifa'ul Mufid; Rajarshi Ray; Yuming Wu; Enea Zaffanella (ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020, 2020)

Synthesis of P-Stable Abstractions - Anna Becchi; Alessandro Cimatti; Enea Zaffanella (Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, 2020)

ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics - 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; et al. (ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada, April 15, 2019, 2019)

Revisiting Polyhedral Analysis for Hybrid Systems - Anna Becchi; Enea Zaffanella (Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 2019)

ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics - Goran Frehse; Alessandro Abate; Dieky Adzkiya; Lei Bu; Mirco Giacobbe; Muhammad Syifa'ul Mufid; Enea Zaffanella (ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018, 2018)

A Direct Encoding for NNC Polyhedra - Anna Becchi; Enea Zaffanella (Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, 2018)

An Efficient Abstract Domain for Not Necessarily Closed Polyhedra - Anna Becchi; Enea Zaffanella (Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, 2018)

On the Efficiency of Convex Polyhedra - Enea Zaffanella (Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017, 2017)

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

Efficient Constraint/Generator Removal from Double Description of Polyhedra - Gianluca Amato; Francesca Scozzari; Enea Zaffanella (Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014, 2014)

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

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

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

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

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

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

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

An Improved Tight Closure Algorithm for Integer Octagonal Constraints - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, 2008)

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

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

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

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

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

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

Grids: A Domain for Analyzing the Distribution of Numerical Values - Roberto Bagnara; Katy Louise Dobson; Patricia M. Hill; Matthew Mundell; Enea Zaffanella (Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers, 2006)

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

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

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

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

Widening Operators for Weakly-Relational Numeric Abstractions - Roberto Bagnara; Patricia M. Hill; Elena Mazzi; Enea Zaffanella (Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, 2005)

Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra - Roberto Bagnara; Enric Rodríguez-Carbonell; Enea Zaffanella (Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings, 2005)

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

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

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

Widening Operators for Powerset Domains - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings, 2004)

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

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

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

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

Precise Widening Operators for Convex Polyhedra - Roberto Bagnara; Patricia M. Hill; Elisa Ricci; Enea Zaffanella (Static Analysis, 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003, Proceedings, 2003)

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

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

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

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library - Roberto Bagnara; Elisa Ricci; Enea Zaffanella; Patricia M. Hill (Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, 2002)

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

Finite-tree analysis for constraint logic-based languages - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001, 2001)

Boolean functions for finite-tree dependencies - Roberto Bagnara; Enea Zaffanella; Roberta Gori; Patricia M. Hill (APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, Évora, Portgual, September 26-28, 2001, Proceedings, Évora, Portugal, September 26-28, 2001, 2001)

Boolean Functions for Finite-Tree Dependencies - Roberto Bagnara; Enea Zaffanella; Roberta Gori; Patricia M. Hill (Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, 2001)

Finite-Tree Analysis for Constraint Logic-Based Languages - Roberto Bagnara; Roberta Gori; Patricia M. Hill; Enea Zaffanella (Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, 2001)

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

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

Efficient Structural Information Analysis for Real CLP Languages - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, 2000)

Enhanced sharing analysis techniques: a comprehensive evaluation - Roberto Bagnara; Enea Zaffanella; Patricia M. Hill (Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, 2000)

Enhancing Sharing for Precision - Roberto Bagnara; Enea Zaffanella; Patricia M. Hill (1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, 1999)

Widening Sharing - Enea Zaffanella; Roberto Bagnara; Patricia M. Hill (1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, 1999)

Widening Sharing - Enea Zaffanella; Roberto Bagnara; Patricia M. Hill (Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings, 1999)

Decomposing Non-redundant Sharing by Complementation - Enea Zaffanella; Patricia M. Hill; Roberto Bagnara (Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, 1999)

The Correctness of Set-Sharing - Patricia M. Hill; Roberto Bagnara; Enea Zaffanella (1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998, 1998)

The Correctness of Set-Sharing - Patricia M. Hill; Roberto Bagnara; Enea Zaffanella (Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, 1998)

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

Sharing Revisited - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997, 1997)

Set-Sharing is Redundant for Pair-Sharing - Roberto Bagnara; Patricia M. Hill; Enea Zaffanella (Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, 1997)

The And-compositionality of CLP Computed Answer Constraints - Roberto Bagnara; Marco Comini; Francesca Scozzari; Enea Zaffanella (1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, 1996)

Modular Analysis of Suspension Free cc Programs - Enea Zaffanella (1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996, 1996)

Domain Independent Ask Approximation in CCP - Enea Zaffanella (1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995, 1995)

Domain Independent Ask Approximation in CCP - Enea Zaffanella (First International Workshop on Concurrent Constraint Programming, CCP 1995, Cà Dolfin, Venice, Italy, May 29-31, 1995, 1995)

Domain Independent Ask Approximation in CCP - Enea Zaffanella (Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings, 1995)

Abstracting Synchronization in Concurrent Constraint Programming - Enea Zaffanella; Giorgio Levi; Roberto Giacobazzi (ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994)

Abstracting Synchronization in Concurrent Constraint Programming - Enea Zaffanella; Roberto Giacobazzi; Giorgio Levi (Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, 1994)