Xavier Allamigeon

	2008
5		Xavier Allamigeon: Non-disjunctive Numerical Domain for Array Predicate Abstraction. ESOP 2008: 163-177
4		Xavier Allamigeon, Stephane Gaubert, Eric Goubault: Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204
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)
	2006
2		Xavier Allamigeon, Wenceslas Godard, Charles Hymans: Static Analysis of String Manipulations in Critical Embedded C Programs. SAS 2006: 35-51
	2005
1		Xavier Allamigeon, Bruno Blanchet: Reconstruction of Attacks against Cryptographic Protocols. CSFW 2005: 140-154

Coauthor Index

1	Bruno Blanchet	[1]
2	Stephane Gaubert	[4]
3	Wenceslas Godard	[2]
4	Eric Goubault	[4]
5	Charles Hymans	[2] [3]

Colors in the list of coauthors