Bibtex

@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 = {{X}avier {A}llamigeon and {C}harles {H}ymans},
  title = {Analyse {S}tatique par {I}nterprétation {A}bstraite},
  booktitle = {5ème {S}ymposium sur la {S}écurité 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,
  publisher = {To appear}
}

@ARTICLE{AllamigeonHymansJCV07,
  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 {C}omputer {V}irology},
  volume = {4},
  year = {2007},
  doi = {http://dx.doi.org/10.1007/s11416-007-0063-z},
  publisher = {Springer},
  note = {To appear}
}

@INPROCEEDINGS{AllamigeonESOP08,
  author = {Xavier {A}llamigeon},
  title = {Non-disjunctive {N}umerical {D}omain for {A}rray {P}redicate {A}bstraction},
  booktitle = {Proceedings of the 17th European Symposium on Programming (ESOP'08)},
  year = {2008},
  note = {To appear}
}

@TECHREPORT{HymansLevillainEADS08,
  author = {Charles {H}ymans and Olivier {L}evillain},
  title = {{N}ewspeak, {D}oubleplussimple {M}inilang for {G}oodthinkful {S}tatic {A}nalysis of {C}},
  institution = {EADS IW/SE},
  year = {2008},
  type = {Technical Note},
  number = {2008-IW-SE-00010-1}
}

@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},
  opteditor = {},
  optvolume = {},
  optpublisher = {Springer Verlag},
  optseries = {Lecture Notes in Computer Science},
  optmonth = jul,
  optaddress = {Valencia, Spain},
  note = {To appear}
}