Enea Zaffanella

89 papers A 1B 17C 3Journal 39Unranked 27

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Helping LLMs improve code generation using feedback from testing and static analysis. Discov. Artif. Intell. Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2026	J	`jnl`	PYRA : A high-level linter for data science software. Knowl. Based Syst. Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025	J	`jnl`	Faster numeric static analyses with unconstrained variable oracles. PeerJ Comput. Sci. Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
2025	—	`conf`	Introducing Pyra: A High-Level Linter for Data Science Software. ECML/PKDD (10) Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025	—	`conf`	On the Verification of ML Systems and Models. OVERLAY Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella
2024	J	`jnl`	Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. CoRR Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2024	J	`jnl`	P-stable abstractions of hybrid systems. Softw. Syst. Model. Anna Becchi, Alessandro Cimatti, Enea Zaffanella
2024	J	`jnl`	Speeding up static analysis with the split operator. Int. J. Softw. Tools Technol. Transf. Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2024	—	`conf`	Stability: An Abstract Domain for the Trend of Variation of Numerical Variables. NSAD@SAS Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi
2024	—	`conf`	Towards a High Level Linter for Data Science. NSAD@SAS Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella
2024	—	`conf`	Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. FTfJP@ECOOP Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
2023	—	`ch.`	"Fixing" the Specification of Widenings. Challenges of Software Verification Enea Zaffanella, Vincenzo Arceri
2023	—	`conf`	Speeding up Static Analysis with the Split Operator. SOAP@PLDI Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2023	B	`conf`	Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2022	—	`conf`	ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH@SAFECOMP Lei Bu, Goran Frehse, Atanu Kundu, Rajarshi Ray, Yuhui Shi, Enea Zaffanella
2022	B	`conf`	Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022	J	`jnl`	Decoupling the ascending and descending phases in Abstract Interpretation. CoRR Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022	—	`conf`	Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design Goran Frehse, Mirco Giacobbe, Enea Zaffanella
2021	—	`conf`	Reverse engineering with P-stable Abstractions. OVERLAY@GandALF Anna Becchi, Alessandro Cimatti, Enea Zaffanella
2020	—	`conf`	ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH Lei Bu, Alessandro Abate, Dieky Adzkiya, Muhammad Syifa'ul Mufid, Rajarshi Ray, Yuming Wu, Enea Zaffanella
2020	J	`jnl`	PPLite: Zero-overhead encoding of NNC polyhedra. Inf. Comput. Anna Becchi, Enea Zaffanella
2020	B	`conf`	Synthesis of P-Stable Abstractions. SEFM Anna Becchi, Alessandro Cimatti, Enea Zaffanella
2019	—	`conf`	ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 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
2019	B	`conf`	Revisiting Polyhedral Analysis for Hybrid Systems. SAS Anna Becchi, Enea Zaffanella
2018	—	`conf`	A Direct Encoding for NNC Polyhedra. CAV (1) Anna Becchi, Enea Zaffanella
2018	—	`conf`	ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@ADHS Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe, Muhammad Syifa'ul Mufid, Enea Zaffanella
2018	B	`conf`	An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. SAS Anna Becchi, Enea Zaffanella
2017	J	`jnl`	A Conversion Procedure for NNC Polyhedra. CoRR Anna Becchi, Enea Zaffanella
2017	—	`conf`	On the Efficiency of Convex Polyhedra. NSAD@SAS Enea Zaffanella
2014	—	`conf`	Efficient Constraint/Generator Removal from Double Description of Polyhedra. NSAD Gianluca Amato, Francesca Scozzari, Enea Zaffanella
2012	J	`jnl`	A new look at the automatic synthesis of linear ranking functions. Inf. Comput. Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2010	J	`jnl`	Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2010	J	`jnl`	The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version CoRR Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
2009	J	`jnl`	Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theor. Comput. Sci. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2009	J	`jnl`	Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2009	J	`jnl`	Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods Syst. Des. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2008	B	`conf`	An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2008	J	`jnl`	The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract) CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	An Improved Tight Closure Algorithm for Integer Octagonal Constraints CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2007	J	`jnl`	On the Design of Generic Static Analyzers for Modern Imperative Languages CoRR Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella
2007	J	`jnl`	Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2006	C	`conf`	Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
2006	J	`jnl`	The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems CoRR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2006	J	`jnl`	Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2005	J	`jnl`	Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
2005	B	`conf`	Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
2005	J	`jnl`	Not necessarily closed convex polyhedra and the double description method. Formal Aspects Comput. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2005	J	`jnl`	PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis CoRR Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella
2005	J	`jnl`	Precise widening operators for convex polyhedra. Sci. Comput. Program. Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
2005	B	`conf`	Widening Operators for Weakly-Relational Numeric Abstractions. SAS Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
2004	J	`jnl`	A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages CoRR Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
2004	J	`jnl`	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. Patricia M. Hill, Enea Zaffanella, Roberto Bagnara
2004	J	`jnl`	Enhanced sharing analysis techniques: a comprehensive evaluation CoRR Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
2004	J	`jnl`	Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version CoRR Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2004	J	`jnl`	Finite-tree analysis for constraint logic-based languages. Inf. Comput. Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2004	B	`conf`	Widening Operators for Powerset Domains. VMCAI Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2004	J	`jnl`	Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract) CoRR Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
2003	B	`conf`	Precise Widening Operators for Convex Polyhedra. SAS Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
2002	J	`jnl`	Decomposing non-redundant sharing by complementation. Theory Pract. Log. Program. Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
2002	B	`conf`	Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
2002	J	`jnl`	Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2002	J	`jnl`	Soundness, idempotence and commutativity of set-sharing. Theory Pract. Log. Program. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
2001	B	`conf`	Boolean Functions for Finite-Tree Dependencies. LPAR Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
2001	—	`conf`	Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill
2001	—	`—`	Correctness, precision and efficiency in the sharing analysis of real logic languages. Enea Zaffanella
2001	J	`jnl`	Decomposing Non-Redundant Sharing by Complementation CoRR Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
2001	B	`conf`	Finite-Tree Analysis for Constraint Logic-Based Languages. SAS Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2001	—	`conf`	Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
2001	J	`jnl`	Soundness, Idempotence and Commutativity of Set-Sharing CoRR Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
2000	B	`conf`	Efficient Structural Information Analysis for Real CLP Languages. LPAR Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
2000	C	`conf`	Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
1999	B	`conf`	Decomposing Non-redundant Sharing by Complementation. SAS Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
1999	—	`conf`	Enhancing Sharing for Precision. APPIA-GULP-PRODE Roberto Bagnara, Enea Zaffanella, Patricia M. Hill
1999	—	`conf`	Widening Sharing. APPIA-GULP-PRODE Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
1999	C	`conf`	Widening Sharing. PPDP Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
1998	—	`conf`	The Correctness of Set-Sharing. APPIA-GULP-PRODE Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
1998	B	`conf`	The Correctness of Set-Sharing. SAS Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
1997	J	`jnl`	Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
1997	B	`conf`	Set-Sharing is Redundant for Pair-Sharing. SAS Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
1997	—	`conf`	Sharing Revisited. APPIA-GULP-PRODE Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
1996	—	`conf`	Modular Analysis of Suspension Free cc Programs. APPIA-GULP-PRODE Enea Zaffanella
1996	—	`conf`	The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella
1995	—	`conf`	Domain Independent Ask Approximation in CCP. GULP-PRODE Enea Zaffanella
1995	—	`conf`	Domain Independent Ask Approximation in CCP. CCP Enea Zaffanella
1995	A	`conf`	Domain Independent Ask Approximation in CCP. CP Enea Zaffanella
1994	—	`conf`	Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi
1994	—	`conf`	Abstracting Synchronization in Concurrent Constraint Programming. PLILP Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi