Xavier Allamigeon (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

Selection of 2 from 5 records - Xavier Allamigeon has 5 coauthors

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