| 2008 |
|---|
| 9 | | Axel Simon:
Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities.
Springer 2008 |
| 8 | EE | Axel Simon:
Splitting the Control Flow with Boolean Flags.
SAS 2008: 315-331 |
| 2007 |
|---|
| 7 | EE | Axel Simon,
Andy King:
Taming the Wrapping of Integer Arithmetic.
SAS 2007: 121-136 |
| 2006 |
|---|
| 6 | EE | Axel Simon,
Andy King:
Widening Polyhedra with Landmarks.
APLAS 2006: 166-182 |
| 2005 |
|---|
| 5 | EE | Axel Simon,
Andy King:
Exploiting Sparsity in Polyhedral Analysis.
SAS 2005: 336-351 |
| 2004 |
|---|
| 4 | EE | Axel Simon,
Andy King:
Convex Hull of Planar H-Polyhedra
CoRR cs.CG/0405089: (2004) |
| 3 | EE | Axel Simon,
Andy King:
Convex hull of planar h-polyhedra.
Int. J. Comput. Math. 81(3): 259-271 (2004) |
| 2002 |
|---|
| 2 | EE | Axel Simon,
Andy King:
Analyzing String Buffers in C.
AMAST 2002: 365-379 |
| 1 | EE | Axel Simon,
Andy King,
Jacob M. Howe:
Two Variables per Linear Inequality as an Abstract Domain.
LOPSTR 2002: 71-89 |
