Roberto Bagnara, Patricia M. Hill, Enea Zaffanella  Home/Search
Context Related
| cs.unipr.it/~bagnara/Papers/...Q305.pdf cs.unipr.it/~bagnar...Q305600DPI.ps.gz 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: Convex polyhedra, commonly employed for the analysis and verification of both hardware and software, may be defined either by a finite set of linear inequality constraints or by finite sets of generating points and rays of the polyhedron. Although most implementations of the polyhedral operations assume that the polyhedra are topologically closed (i.e., all the constraints defining them are non-strict), several analyzers and verifiers need to compute on a domain of convex polyhedra that are not ... (Update)
Cited by: More
Not Necessarily Closed Convex Polyhedra and the Double.. - Bagnara, Hill.. (Correct)
Similar documents (at the sentence level):
15.2%: A New Encoding of Not Necessarily Closed Convex.. - Bagnara, Hill.. (Correct)
Active bibliography (related documents): More All
0.6: Possibly Not Closed Convex Polyhedra and the Parma.. - Bagnara, Ricci.. (2002) (Correct)
0.4: Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (Correct)
0.1: Widening Operators for Powerset Domains - Bagnara, Hill, Zaffanella (2004) (Correct)
Similar documents based on text: More All
0.7: Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
0.7: Set-Sharing is Redundant for Pair-Sharing - Bagnara, Hill, Zaffanella (1997) (Correct)
Related documents from co-citation: More All
4: Algorithm for finding a general formula for the non- negative solutions of a sys.. (context) - Chernikova - 1965
2: Delay Analysis in Synchronous Programs - Halbwachs - 1993
2: Automatic Discovery of Linear Restraints among Variables of a Program - Cousot, Halbwachs - 1978
BibTeX entry: (Update)
R. Bagnara, P. M. Hill, and E. Za#anella. A new encoding and implementation of not necessarily closed convex polyhedra. In M. Leuschel, S. Gruner, and S. Lo Presti, editors, Proceedings of the 3rd Workshop on Automated Verification of Critical Systems, pages 161--176, Southampton, UK, 2003. Published as TR Number DSSE-TR2003 -2, University of Southampton. http://citeseer.ist.psu.edu/bagnara03new.html More
@misc{ bagnara03new,
author = "R. Bagnara and P. Hill and E. Za",
title = "A new encoding and implementation of not necessarily closed convex polyhedra",
text = "R. Bagnara, P. M. Hill, and E. Za#anella. A new encoding and implementation
of not necessarily closed convex polyhedra. In M. Leuschel, S. Gruner, and
S. Lo Presti, editors, Proceedings of the 3rd Workshop on Automated Verification
of Critical Systems, pages 161--176, Southampton, UK, 2003. Published as
TR Number DSSE-TR2003 -2, University of Southampton.",
year = "2003",
url = "citeseer.ist.psu.edu/bagnara03new.html" }
Citations (may not include all citations):250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
75 Verification of linear hybrid systems by means of convex app.. - Halbwachs, Proy et al. - 1994
49 Convexity and Optimization in Finite Dimensions (context) - Stoer, Witzgall
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
23 Possibly not closed convex polyhedra and the Parma Polyhedra.. - Bagnara, Ricci et al. - 2002
19 Synthesis of linear ranking functions (context) - Colon, Sipma - 2001
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
7 library available httpwww (context) - Polyhedra, edition et al. - 2002
5 Documentation taken from source code (context) - Halbwachs, Kerbrat et al. - 1995
Documents on the same site (http://www.cs.unipr.it/~bagnara/Papers/PDF/linkall.html): More
Decomposing Non-Redundant Sharing by Complementation - Zaffanella, Hill, Bagnara (2001) (Correct)
Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
A Unified Proof For The Convergence Of Jacobi And Gauss-Seidel.. - Bagnara (1995) (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