| |
| 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 |
| 1 | Jacob M. Howe | [1] |
| 2 | Andy King | [1] [2] [3] [4] [5] [6] [7] |