| 2008 |
|---|
| 6 | 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 |
|---|
| 5 | EE | Xavier Allamigeon,
Wenceslas Godard,
Charles Hymans:
Static Analysis of String Manipulations in Critical Embedded C Programs.
SAS 2006: 35-51 |
| 2005 |
|---|
| 4 | EE | Charles Hymans:
Verification of an Error Correcting Code by Abstract Interpretation.
VMCAI 2005: 330-345 |
| 2004 |
|---|
| 3 | EE | Charles Hymans,
Eben Upton:
Static Analysis of Gated Data Dependence Graphs.
SAS 2004: 197-211 |
| 2003 |
|---|
| 2 | EE | Charles Hymans:
Design and Implementation of an Abstract Interpreter for VHDL.
CHARME 2003: 263-269 |
| 2002 |
|---|
| 1 | EE | Charles Hymans:
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.
SAS 2002: 444-460 |
