Searching for authors named "Xavier Allamigeon" – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Inferring Min and Max Invariants Using Max-plus Polyhedra
- …Inferring Min and Max Invariants Using Max-plus Polyhedra Xavier Allamigeon 1,3 , Stéphane Gaubert…
- Add To MetaCart
-
Reconstruction of Attacks against Cryptographic Protocols
- …Reconstruction of Attacks against Cryptographic Protocols ∗ Xavier Allamigeon École Polytechnique…
- Cited by 7 (3 self) – Add To MetaCart
-
Static analysis of string manipulations in critical embedded C programs
- …Static Analysis of String Manipulations in Critical Embedded C Programs Xavier Allamigeon…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 3.
