Selected Scientific Publications | BUGSENG

Export 26 results:

BibTex

Filters: Author is Enea Zaffanella [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A

Zaffanella E, Giacobazzi R, Levi G. 1997. Abstracting Synchronization in Concurrent Constraint Programming. Journal of Functional and Logic Programming. 1997:1–34.

ZaffanellaGL97JFLP.pdf (329.28 KB)

Bagnara R, Hill PM, Zaffanella E. 2009. Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. Theoretical Computer Science. 410:4672–4691.

BagnaraHZ09TCS.pdf (391.35 KB)

Bagnara R, Mesnard F, Pescetti A, Zaffanella E. 2012. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version.

BagnaraMPZ12TR.pdf (561.17 KB)

B

Bagnara R, Zaffanella E, Gori R, Hill PM. 2001. Boolean Functions for Finite-Tree Dependencies. Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2001). 2250:579–594.

C

Hill PM, Zaffanella E, Bagnara R. 2004. A Correct, Precise and Efficient Integration of Set-Sharing, Freeness and Linearity for the Analysis of Finite and Rational Tree Languages. Theory and Practice of Logic Programming. 4:289–323.

HillZB04TPLP.pdf (358.98 KB)

Hill PM, Bagnara R, Zaffanella E. 1998. The Correctness of Set-Sharing. Static Analysis: Proceedings of the 5th International Symposium. 1503:99–114.

D

Zaffanella E, Hill PM, Bagnara R. 2002. Decomposing Non-Redundant Sharing by Complementation. Theory and Practice of Logic Programming. 2:233–261.

ZaffanellaHB02TPLP.pdf (237.44 KB)

Bagnara R, Hill PM, Pescetti A, Zaffanella E. 2008. On the Design of Generic Static Analyzers for Imperative Languages.

BagnaraHPZ08.pdf (632.79 KB)

E

Bagnara R, Hill PM, Zaffanella E. 2000. Efficient Structural Information Analysis for Real CLP Languages. Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR 2000). 1955:189–206.

Bagnara R, Zaffanella E, Hill PM. 2005. Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation. Theory and Practice of Logic Programming. 5:1-43.

BagnaraZH05TPLP.pdf (449.66 KB)

Bagnara R, Hill PM, Zaffanella E. 2010. Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions. Computational Geometry: Theory and Applications. 43:453–473.

BagnaraHZ10CGTA.pdf (339.41 KB)

F

Bagnara R, Gori R, Hill PM, Zaffanella E. 2001. Finite-Tree Analysis for Constraint Logic-Based Languages. Static Analysis: 8th International Symposium, SAS 2001. 2126:165–184.

Bagnara R, Gori R, Hill PM, Zaffanella E. 2004. Finite-Tree Analysis for Constraint Logic-Based Languages. Information and Computation. 193:84-116.

BagnaraGHZ04IC.pdf (301.52 KB)

G

Bagnara R, Rodríguez-Carbonell E, Zaffanella E. 2005. Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. Static Analysis: Proceedings of the 12th International Symposium. 3672:19–34.

BagnaraR-CZ05.pdf (184.1 KB)

Bagnara R, Dobson K, Hill PM, Mundell M, Zaffanella E. 2007. Grids: A Domain for Analyzing the Distribution of Numerical Values. Logic-based Program Synthesis and Transformation, 16th International Symposium. 4407:219–235.

BagnaraDHMZ07.pdf (222.94 KB)

I

Bagnara R, Hill PM, Zaffanella E. 2008. An Improved Tight Closure Algorithm for Integer Octagonal Constraints. Verification, Model Checking and Abstract Interpretation: Proceedings of the 9th International Conference (VMCAI 2008). 4905:8–21.

BagnaraHZ08.pdf (176.48 KB)

N

Bagnara R, Hill PM, Zaffanella E. 2005. Not Necessarily Closed Convex Polyhedra and the Double Description Method. Formal Aspects of Computing. 17:222–257.

BagnaraHZ05FAC.pdf (388.2 KB)

P

Bagnara R, Hill PM, Zaffanella E. 2008. The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems. Science of Computer Programming. 72:3–21.

BagnaraHZ08SCP.pdf (298.58 KB)

Bagnara R, Hill PM, Ricci E, Zaffanella E. 2005. Precise Widening Operators for Convex Polyhedra. Science of Computer Programming. 58:28–56.

BagnaraHRZ05SCP.pdf (273.43 KB)

S

Bagnara R, Hill PM, Zaffanella E. 1997. Set-Sharing is Redundant for Pair-Sharing. Static Analysis: Proceedings of the 4th International Symposium. 1302:53–67.

Bagnara R, Hill PM, Zaffanella E. 2002. Set-Sharing is Redundant for Pair-Sharing. Theoretical Computer Science. 277:3–46.

BagnaraHZ02TCS.pdf (413.66 KB)

Hill PM, Bagnara R, Zaffanella E. 2002. Soundness, Idempotence and Commutativity of Set-Sharing. Theory and Practice of Logic Programming. 2:155–201.

HillBZ02TPLP.pdf (406.08 KB)

V

Bagnara R, Hill PM, Pescetti A, Zaffanella E. 2007. Verification of C Programs Via Natural Semantics and Abstract Interpretation. Proceedings of the C/C++ Verification Workshop. :75–80.

W

Bagnara R, Hill PM, Zaffanella E. 2009. Weakly-Relational Shapes for Numeric Abstractions: Improved Algorithms and Proofs of Correctness. Formal Methods in System Design. 35:279–323.

BagnaraHZ09FMSD.pdf (437.68 KB)

Bagnara R, Hill PM, Zaffanella E. 2006. Widening Operators for Powerset Domains. Software Tools for Technology Transfer. 8:449–466.

BagnaraHZ06STTT.pdf (362.41 KB)

Zaffanella E, Bagnara R, Hill PM. 1999. Widening Sharing. Principles and Practice of Declarative Programming. 1702:414–431.