Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. - Charles Hymans (SAS, 2002)

Design and Implementation of an Abstract Interpreter for VHDL. - Charles Hymans (CHARME, 2003)

Static Analysis of Gated Data Dependence Graphs. - Charles Hymans; Eben Upton (SAS, 2004)

Verification of an Error Correcting Code by Abstract Interpretation. - Charles Hymans (VMCAI, 2005)

Static Analysis of String Manipulations in Critical Embedded C Programs. - Xavier Allamigeon; Wenceslas Godard; Charles Hymans (SAS, 2006)

Static analysis by abstract interpretation: application to the detection of heap overflows. - Xavier Allamigeon; Charles Hymans (J. Comput. Virol., 2008)

From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm. - Jean-Loup Carre; Charles Hymans (CoRR, 2009)