Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Charles Hymans

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/virology/AllamigeonH08
- ask others
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
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/AllamigeonGH06
- ask others
Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51
2005
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vmcai/Hymans05
- ask others
Charles Hymans: Verification of an Error Correcting Code by Abstract Interpretation. VMCAI 2005: 330-345
2004
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/HymansU04
- ask others
Charles Hymans, Eben Upton: Static Analysis of Gated Data Dependence Graphs. SAS 2004: 197-211
2003
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/charme/Hymans03
- ask others
Charles Hymans: Design and Implementation of an Abstract Interpreter for VHDL. CHARME 2003: 263-269
2002
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/Hymans02
- ask others
Charles Hymans: Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation. SAS 2002: 444-460

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?