Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill  Home/Search
Context Related
| cs.unipr.it/~bagna...SAS02600DPI.ps.gz cs.unipr.it/~bagnara/Papers...SAS02.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unipr.it/~bagnara/Pa...linkall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The domain of convex polyhedra is employed in several systems for the analysis and verification of hardware and software components. (Update)
Cited by: More
Numeric Analysis of Array Operations - Denis Gopan Thomas (Correct)
A Framework for Numeric Analysis of Array Operations - Denis Gopan Gopan (Correct)
Termination Analysis of Typed Logic Programs - Lagoon, Mesnard, Stuckey.. (2003) (Correct)
Similar documents (at the sentence level):
11.9%: Not Necessarily Closed Convex Polyhedra and the Double.. - Bagnara, Hill.. (Correct)
Active bibliography (related documents): More All
1.9: Possibly Not Closed Convex Polyhedra and the Parma.. - Bagnara, Ricci.. (2002) (Correct)
1.2: Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (Correct)
0.6: A New Encoding and Implementation of Not Necessarily.. - Bagnara, Hill.. (2003) (Correct)
Similar documents based on text: More All
1.5: A New Encoding of Not Necessarily Closed Convex.. - Bagnara, Hill.. (2002) (Correct)
0.8: Errata for Technical Report "Quaderno 286" - Bagnara, Ricci, Zaffanella, Hill (2002) (Correct)
Related documents from co-citation: More All
18: The Parma Polyhedra Library User's Manual (context) - Bagnara, Hill et al. - 2002
18: Verification of real-time systems using linear relation analysis - Halbwachs, Proy et al. - 1997
16: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
BibTeX entry: (Update)
R. Bagnara, E. Ricci, E. Za#anella, and P. M. Hill. Possibly not closed convex polyhedra and the Parma Polyhedra Library. Quaderno 286, Dipartimento di Matematica, Universita di Parma, Italy, 2002. See also [4]. Available at http: //www.cs.unipr.it/Publications/. http://citeseer.ist.psu.edu/article/bagnara02possibly.html More
@misc{ bagnara02possibly,
author = "R. Bagnara and E. Ricci and E. Za and a Hill",
title = "Possibly not closed convex polyhedra and the Parma Polyhedra Library",
text = "R. Bagnara, E. Ricci, E. Za#anella, and P. M. Hill. Possibly not closed
convex polyhedra and the Parma Polyhedra Library. Quaderno 286, Dipartimento
di Matematica, Universita di Parma, Italy, 2002. See also [4]. Available
at http: //www.cs.unipr.it/Publications/.",
year = "2002",
url = "citeseer.ist.psu.edu/article/bagnara02possibly.html" }
Citations (may not include all citations):815 Abstract interpretation: A unified lattice model for static .. (context) - Cousot, Cousot - 1977
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
211 HyTech: A model checker for hybrid systems - Henzinger, Ho et al. - 1997
164 A practical algorithm for exact array dependence analysis (context) - Pugh - 1992
80 Delay analysis in synchronous programs - Halbwachs - 1993
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Proy et al. - 1994
57 Comparing the Galois connection and widening /narrowing appr.. - Cousot, Cousot - 1992
55 Data-Flow Analysis for Constraint Logic-Based Languages (context) - Bagnara - 1997
49 Convexity and Optimization in Finite Dimensions (context) - Stoer, Witzgall - 1970
48 The double description method (context) - Motzkin, Rai et al. - 1953
42 Verification of real-time systems using linear relation anal.. - Halbwachs, Proy et al. - 1997
37 Inferring argument size relationships with CLP - Benoy, King - 1997
27 Cleanness checking of string manipulations in C programs via.. - Dor, Rodeh et al.
23 Possibly not closed convex polyhedra and the Parma Polyhedra.. - Bagnara, Ricci et al. - 2002
21 Algorithm for discovering the set of all solutions of a line.. (context) - Chernikova - 1968
21 Algorithm for finding a general formula for the non-negative.. (context) - Chernikova - 1965
19 Synthesis of linear ranking functions (context) - Colon, Sipma - 2001
19 Double description method revisited - Fukuda, Prodon - 1996
19 A note on Chernikova's algorithm - Le Verge - 1992
18 Applying static analysis techniques for inferring terminatio.. (context) - Mesnard, Neumerkel
17 The Parma Polyhedra Library User's Manual (context) - Bagnara, Hill et al. - 2002
17 Polyhedral analysis for synchronous languages - Besson, Jensen et al. - 1999
13 An update on STeP: Deductive-algorithmic verification of rea.. - Manna, Bjrner et al. - 1999
13 PolyLib: A library for manipulating parameterized polyhedra - Loechner - 1999
12 Some lessons from the hytech experience - Henzinger, Preussig et al. - 2001
7 library available httpwww (context) - Polyhedra, edition et al. - 2002
5 volume 2126 of Lecture Notes in Computer Science (context) - Cousot, Analysis et al. - 2001
5 Also published as IRISA Publication interne (context) - Wilde, for et al. - 1993
5 Documentation taken from source code (context) - Halbwachs, Kerbrat et al. - 1995
2 Quaderno 286 (context) - Bagnara, Ricci et al. - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PostScript/600dpi/linkall.html): More
Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, Zaffanella (1997) (Correct)
Straight ROBDDS are not the Best for Pos - Bagnara (Correct)
Soundness, Idempotence and Commutativity of Set-Sharing - Hill, Bagnara, Zaffanella (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC