Charles Hymans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2002–2006
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SAS | Static Analysis of String Manipulations in Critical Embedded C Programs. | Xavier Allamigeon, Wenceslas Godard, Charles Hymans |
| 2005 | VMCAI | Verification of an Error Correcting Code by Abstract Interpretation. | Charles Hymans |
| 2004 | SAS | Static Analysis of Gated Data Dependence Graphs. | Charles Hymans, Eben Upton |
| 2002 | SAS | Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. | Charles Hymans |