BibTeX references

@inproceedings{AllamigeonBlanchetCSFW05,
  author = {Xavier Allamigeon and Bruno Blanchet},
  title = {Reconstruction of {A}ttacks against {C}ryptographic {P}rotocols},
  booktitle = {18th IEEE Computer Security Foundations Workshop (CSFW-18)},
  pages = {140--154},
  year = 2005,
  address = {Aix-en-Provence, France},
  month = jun,
  publisher = {IEEE Computer Society}
}

@inproceedings{AllamigeonGodardHymansSAS06,
  author = {Xavier Allamigeon and Wenceslas Godard and Charles Hymans},
  title = {Static {A}nalysis of {S}tring {M}anipulations in {C}ritical {E}mbedded {C} {P}rograms},
  booktitle = {Static Analysis, 13th International Symposium (SAS'06)},
  pages = {35--51},
  year = 2006,
  editor = {Kwangkeun Yi},
  volume = 4134,
  series = {Lecture Notes in Computer Science},
  address = {Seoul, Korea},
  month = aug,
  publisher = {Springer Verlag}
}

@inproceedings{AllamigeonHymansSSTIC07,
  author = {Xavier {A}llamigeon and Charles {H}ymans},
  title = {Analyse {S}tatique par {I}nterpr\'{e}tation {A}bstraite : {A}pplication {\`a} la {D}{\'e}tection de {D}\'epassement de {T}ampon},
  booktitle = {5\`{e}me {S}ymposium sur la {S}\'{e}curit\'{e} des {T}echnologies de l'{I}nformation et des {C}ommunications (SSTIC'07)},
  editor = {{E}ric {F}iliol},
  address = {Rennes, France},
  month = jun,
  year = 2007,
  pages = {347--384},
  publisher = {ESAT}
}

@article{AllamigeonHymansJCV08,
  author = {Xavier {A}llamigeon and Charles {H}ymans},
  title = {Static {A}nalysis by {A}bstract {I}nterpretation: {A}pplication
               to the {D}etection of {H}eap {O}verflows},
  journal = {Journal in Computer Virology},
  volume = {4},
  number = {1},
  year = {2008},
  pages = {5-23}
}

@inproceedings{AllamigeonESOP08,
  author = {Xavier {A}llamigeon},
  title = {Non-disjunctive {N}umerical {D}omain for {A}rray {P}redicate {A}bstraction},
  booktitle = {Programming Languages and Systems, Proceedings of the 17th European Symposium on Programming (ESOP'08)},
  editor = {Sophia Drossopoulou},
  volume = {4960},
  year = 2008,
  month = apr,
  publisher = {Springer Verlag},
  address = {Budapest, Hungary},
  pages = {163-177},
  series = {Lecture Notes in Computer Science}
}

@inproceedings{AllamigeonGaubertGoubaultSAS08,
  author = {Xavier {A}llamigeon and St{\'e}phane {G}aubert and Eric {G}oubault},
  title = {Inferring {M}in and {M}ax {I}nvariants {U}sing {M}ax-plus {P}olyhedra},
  booktitle = {Proceedings of the 15th International Static Analysis Symposium (SAS'08)},
  year = {2008},
  editor = {Mar\'{\i}a Alpuente and Germ{\'a}n Vidal},
  volume = {5079},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science},
  month = jul,
  address = {Valencia, Spain},
  pages = {189-204}
}

@inproceedings{AllamigeonGaubertGoubaultSTACS10,
  author = {Xavier Allamigeon and St{\'e}phane Gaubert and Eric Goubault},
  title = {The {T}ropical {D}ouble {D}escription {M}ethod},
  booktitle = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS'10)},
  year = {2010},
  month = mar,
  address = {Nancy, France},
  note = {To appear.}
}

@article{AllamigeonGaubertKatzJCTA10,
  author = {Xavier Allamigeon and St{\'e}phane Gaubert and Ricardo D. Katz},
  title = {The number of extreme points of tropical polyhedra},
  journal = {Journal of Combinatorial Theory, series A},
  note = {To appear.}
}

@phdthesis{AllamigeonThesis,
  author = {Xavier Allamigeon},
  title = {Static analysis of memory manipulations by abstract interpretation --- {A}lgorithmics of tropical polyhedra, and application to abstract interpretation},
  school = {\'Ecole Polytechnique},
  address = {Palaiseau, France},
  month = {November},
  year = {2009}
}

This file was generated by bibtex2html 1.91.