| |
| 2008 | ||
|---|---|---|
| 5 | EE | Xavier Allamigeon: Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP 2008: 163-177 |
| 4 | EE | Xavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204 |
| 3 | EE | Xavier Allamigeon, Charles Hymans: Static analysis by abstract interpretation: application to the detection of heap overflows. Journal in Computer Virology 4(1): 5-23 (2008) |
| 2006 | ||
| 2 | EE | Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51 |
| 2005 | ||
| 1 | EE | Xavier Allamigeon, Bruno Blanchet: Reconstruction of Attacks against Cryptographic Protocols. CSFW 2005: 140-154 |
| 1 | Bruno Blanchet | [1] |
| 2 | Stephane Gaubert | [4] |
| 3 | Wenceslas Godard | [2] |
| 4 | Eric Goubault | [4] |
| 5 | Charles Hymans | [2] [3] |