21 citations · 78 across the 23 of their papers we have counts for
Showing cs.CGShow all
2 papers · 1 filter
cs.CG2009★ 1 cited
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constr…
cs.CG2007
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Convex polyhedra are the basis for several abstractions used in static analysis and computer-aided verification of complex and sometimes mission critical systems. For such applicat…