Charles Hymans

According to our database, Charles Hymans authored at least 7 papers between 2002 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm.

Jean-Loup Carre, Charles Hymans

CoRR, 2009

2008

Static analysis by abstract interpretation: application to the detection of heap overflows.

Xavier Allamigeon, Charles Hymans

J. Comput. Virol., 2008

2006

Static Analysis of String Manipulations in Critical Embedded C Programs.

Xavier Allamigeon, Wenceslas Godard, Charles Hymans

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

Verification of an Error Correcting Code by Abstract Interpretation.

Charles Hymans

Proceedings of the Verification, 2005

2004

Static Analysis of Gated Data Dependence Graphs.

Charles Hymans, Eben Upton

Proceedings of the Static Analysis, 11th International Symposium, 2004

2003

Design and Implementation of an Abstract Interpreter for VHDL.

Charles Hymans

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.

Charles Hymans

Proceedings of the Static Analysis, 9th International Symposium, 2002