Charles Hymans

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

Jean-Loup Carre, Charles Hymans
From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm. CoRR (2009)
Xavier Allamigeon, Charles Hymans
Static analysis by abstract interpretation: application to the detection of heap overflows. J. Comput. Virol. 4 (1) (2008)
Xavier Allamigeon, Wenceslas Godard, Charles Hymans
Static Analysis of String Manipulations in Critical Embedded C Programs. SAS (2006)
Charles Hymans
Verification of an Error Correcting Code by Abstract Interpretation. VMCAI (2005)
Charles Hymans, Eben Upton
Static Analysis of Gated Data Dependence Graphs. SAS (2004)
Charles Hymans
Design and Implementation of an Abstract Interpreter for VHDL. CHARME (2003)
Charles Hymans
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. SAS (2002)