Charles Hymans (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 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)

5 Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51

Selection of 2 from 6 records - Charles Hymans has 3 coauthors

6		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)
5		Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51