default search action
Enea Zaffanella
Person information
- affiliation: University of Parma, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Anna Becchi
, Alessandro Cimatti
P-stable abstractions of hybrid systems. Softw. Syst. Model. 23(2): 403-426 (2024) - [j18]Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Speeding up static analysis with the split operator. Int. J. Softw. Tools Technol. Transf. 26(5): 573-588 (2024) - [c44]Vincenzo Arceri
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. FTfJP@ECOOP 2024: 11-16 - 2023
- [c43]Vincenzo Arceri
Speeding up Static Analysis with the Split Operator. SOAP@PLDI 2023: 14-19 - [c42]Vincenzo Arceri
Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS 2023: 65-83 - 2022
- [c41]Vincenzo Arceri
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS 2022: 25-44 - [c40]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: 44-57 - [c39]Goran Frehse
Symbolic Analysis of Linear Hybrid Automata - 25 Years Later. Principles of Systems Design 2022: 39-60 - [i16]Vincenzo Arceri
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR abs/2206.10893 (2022) - 2021
- [c38]Anna Becchi, Alessandro Cimatti, Enea Zaffanella:
Reverse engineering with P-stable Abstractions. OVERLAY@GandALF 2021: 91-95 - 2020
- [j17]Anna Becchi
PPLite: Zero-overhead encoding of NNC polyhedra. Inf. Comput. 275: 104620 (2020) - [c37]Lei Bu, Alessandro Abate, Dieky Adzkiya
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. ARCH 2020: 1-15 - [c36]Anna Becchi
Synthesis of P-Stable Abstractions. SEFM 2020: 214-230
2010 – 2019
- 2019
- [c35]Goran Frehse
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH@CPSIoTWeek 2019: 1-13 - [c34]Anna Becchi
Revisiting Polyhedral Analysis for Hybrid Systems. SAS 2019: 183-202 - 2018
- [c33]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: 1-13 - [c32]Anna Becchi
A Direct Encoding for NNC Polyhedra. CAV (1) 2018: 230-248 - [c31]Anna Becchi
An Efficient Abstract Domain for Not Necessarily Closed Polyhedra. SAS 2018: 146-165 - 2017
- [c30]Enea Zaffanella
On the Efficiency of Convex Polyhedra. NSAD@SAS 2017: 31-44 - [i15]Anna Becchi, Enea Zaffanella:
A Conversion Procedure for NNC Polyhedra. CoRR abs/1711.09593 (2017) - 2014
- [c29]Gianluca Amato
Efficient Constraint/Generator Removal from Double Description of Polyhedra. NSAD 2014: 3-15 - 2012
- [j16]Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella
A new look at the automatic synthesis of linear ranking functions. Inf. Comput. 215: 47-67 (2012) - 2010
- [j15]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. 43(5): 453-473 (2010) - [i14]Roberto Bagnara, Fred Mesnard, Andrea Pescetti, Enea Zaffanella:
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. CoRR abs/1004.0944 (2010)
2000 – 2009
- 2009
- [j14]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): 279-323 (2009) - [j13]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): 4672-4691 (2009) - [i13]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. CoRR abs/0904.1783 (2009) - 2008
- [j12]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): 3-21 (2008) - [c28]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. VMCAI 2008: 8-21 - 2007
- [j11]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 9(3-4): 413-414 (2007) - [i12]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
An Improved Tight Closure Algorithm for Integer Octagonal Constraints. CoRR abs/0705.4618 (2007) - [i11]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract). CoRR abs/0711.0345 (2007) - [i10]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. CoRR abs/cs/0701122 (2007) - [i9]Roberto Bagnara, Patricia M. Hill, Andrea Pescetti, Enea Zaffanella:
On the Design of Generic Static Analyzers for Modern Imperative Languages. CoRR abs/cs/0703116 (2007) - 2006
- [j10]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Widening operators for powerset domains. Int. J. Softw. Tools Technol. Transf. 8(4-5): 449-466 (2006) - [c27]Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella:
Grids: A Domain for Analyzing the Distribution of Numerical Values. LOPSTR 2006: 219-235 - [i8]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 abs/cs/0612085 (2006) - 2005
- [j9]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Not necessarily closed convex polyhedra and the double description method. Formal Aspects Comput. 17(2): 222-257 (2005) - [j8]Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2): 28-56 (2005) - [j7]Roberto Bagnara, Enea Zaffanella
Enhanced sharing analysis techniques: a comprehensive evaluation. Theory Pract. Log. Program. 5(1-2): 1-43 (2005) - [c26]Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
Widening Operators for Weakly-Relational Numeric Abstractions. SAS 2005: 3-18 - [c25]Roberto Bagnara, Enric Rodríguez-Carbonell
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34 - [i7]Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini, Enea Zaffanella:
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis. CoRR abs/cs/0512056 (2005) - 2004
- [j6]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
Finite-tree analysis for constraint logic-based languages. Inf. Comput. 193(2): 84-116 (2004) - [j5]Patricia M. Hill, Enea Zaffanella
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): 289-323 (2004) - [c24]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Widening Operators for Powerset Domains. VMCAI 2004: 135-148 - [i6]Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella:
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract). CoRR abs/cs/0412043 (2004) - [i5]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 cs.PL/0401021 (2004) - [i4]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. CoRR cs.PL/0401022 (2004) - [i3]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version. CoRR cs.PL/0404055 (2004) - 2003
- [c23]Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella:
Precise Widening Operators for Convex Polyhedra. SAS 2003: 337-354 - 2002
- [j4]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Set-sharing is redundant for pair-sharing. Theor. Comput. Sci. 277(1-2): 3-46 (2002) - [j3]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
Soundness, idempotence and commutativity of set-sharing. Theory Pract. Log. Program. 2(2): 155-201 (2002) - [j2]Enea Zaffanella
Decomposing non-redundant sharing by complementation. Theory Pract. Log. Program. 2(2): 233-261 (2002) - [c22]Roberto Bagnara, Elisa Ricci, Enea Zaffanella
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library. SAS 2002: 213-229 - 2001
- [b1]Enea Zaffanella:
Correctness, precision and efficiency in the sharing analysis of real logic languages. University of Leeds, UK, 2001 - [c21]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-tree analysis for constraint logic-based languages. APPIA-GULP-PRODE 2001: 63-79 - [c20]Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill:
Boolean functions for finite-tree dependencies. APPIA-GULP-PRODE 2001: 81-96 - [c19]Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill:
Boolean Functions for Finite-Tree Dependencies. LPAR 2001: 579-594 - [c18]Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-Tree Analysis for Constraint Logic-Based Languages. SAS 2001: 165-184 - [i2]Enea Zaffanella, Patricia M. Hill, Roberto Bagnara:
Decomposing Non-Redundant Sharing by Complementation. CoRR cs.PL/0101025 (2001) - [i1]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
Soundness, Idempotence and Commutativity of Set-Sharing. CoRR cs.PL/0102030 (2001) - 2000
- [c17]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Efficient Structural Information Analysis for Real CLP Languages. LPAR 2000: 189-206 - [c16]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhanced sharing analysis techniques: a comprehensive evaluation. PPDP 2000: 103-114
1990 – 1999
- 1999
- [c15]Roberto Bagnara, Enea Zaffanella, Patricia M. Hill:
Enhancing Sharing for Precision. APPIA-GULP-PRODE 1999: 213-228 - [c14]Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing. APPIA-GULP-PRODE 1999: 559-574 - [c13]Enea Zaffanella, Roberto Bagnara, Patricia M. Hill:
Widening Sharing. PPDP 1999: 414-432 - [c12]Enea Zaffanella
Decomposing Non-redundant Sharing by Complementation. SAS 1999: 69-84 - 1998
- [c11]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. APPIA-GULP-PRODE 1998: 255-268 - [c10]Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
The Correctness of Set-Sharing. SAS 1998: 99-114 - 1997
- [j1]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. J. Funct. Log. Program. 1997(6) (1997) - [c9]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Sharing Revisited. APPIA-GULP-PRODE 1997: 69-80 - [c8]Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Set-Sharing is Redundant for Pair-Sharing. SAS 1997: 53-67 - 1996
- [c7]Roberto Bagnara, Marco Comini, Francesca Scozzari, Enea Zaffanella:
The And-compositionality of CLP Computed Answer Constraints. APPIA-GULP-PRODE 1996: 355-366 - [c6]Enea Zaffanella:
Modular Analysis of Suspension Free cc Programs. APPIA-GULP-PRODE 1996: 367-378 - 1995
- [c5]Enea Zaffanella:
Domain Independent Ask Approximation in CCP. GULP-PRODE 1995: 89-100 - [c4]Enea Zaffanella:
Domain Independent Ask Approximation in CCP. CCP 1995: 8:1-8:16 - [c3]Enea Zaffanella
Domain Independent Ask Approximation in CCP. CP 1995: 362-379 - 1994
- [c2]Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi:
Abstracting Synchronization in Concurrent Constraint Programming. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c1]Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi:
Abstracting Synchronization in Concurrent Constraint Programming. PLILP 1994: 57-72
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: