mybib.bib

@inproceedings{ghorbal:dasia2009,
  author = {Bouissou, O{.} and Conquet, E{.} and Cousot, P{.} and
	Cousot, R{.} and Feret, J{.} and Ghorbal, K{.} and 
	    Goubault, E{.} and Lesens, D{.} and Mauborgne, L{.} and
	    Min\'e, A{.} and Putot, S{.} and Rival, X{.} and Turin, M{.}},
  title = {Space Software Validation using Abstract Interpretation},
  pages = {1--7},
  volume = {SP-669},
  year = {2009},
  month = {May},
  address = {Istambul, Turkey},
  booktitle = {Proc. of the Int. Space System Engineering Conf.,
	Data Systems in Aerospace (DASIA 2009)},
  publisher = {ESA},
  note = {\url{http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/bouissou-al-dasia09.pdf}}
}

@inproceedings{ghorbal:cav2009,
  author = {Ghorbal, K{.} and Goubault, E{.} and Putot, S{.}},
  title = {The Zonotope Abstract Domain {T}aylor1+},
  pages = {627--633},
  volume = {5643},
  year = {2009},
  month = {June},
  address = {Grenoble, France},
  booktitle = {Proc. of the 21th Int. Conf. on Computer Aided Verification (CAV 2009)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  note = {\url{http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav09.pdf}}
}

@inproceedings{ghorbal:cav2010,
  author = {Ghorbal, K. and Goubault, E. and Putot, S.},
  title = {A Logical Product Approach to Zonotope Intersection},
  year = {2010},
  month = {July},
  address = {Edinburgh, UK},
  booktitle = {Proc. of the 22th Int. Conf. on Computer Aided Verification (CAV 2010)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  note = {\url{http://www.lix.polytechnique.fr/Labo/Khalil.Ghorbal/publi/ghorbal-cav10.pdf}}
}

This file was generated by bibtex2html 1.95.