@article{DBLP:tr/trier/MI96-11,
  author    = {Christian Fecht and
               Helmut Seidl},
  title     = {An Even Faster Solver for General Systems of Equations},
  journal   = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht},
  volume    = {96-11},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{CousotCousot77-1,
  author =    {Cousot, P{.} and Cousot, R{.}},
  title =     {Abstract interpretation: a unified lattice model for static 
               analysis of programs by construction or approximation of 
               fixpoints},
  pages =     {238--252},
  booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT 
               Symposium on Principles of Programming Languages},
  address =   {Los Angeles, California},
  publisher = {ACM Press, New York, NY},
  year =      1977,
}
@article{mine:hosc06,
  author =    {Min\'e, A{.}},
  title =     {The Octagon Abstract Domain},
  journal =   {Higher-Order and Symbolic Computation},
  editor =    {O. Danvy},
  publisher = {Springer},
  year =      {2006},
  volume =    {19},
  number =    {1},
  pages =     {31--100},
  note =      {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}}
}
@inproceedings{mine:padoII,
  author    = {Min\'e, A{.}},
  title     = {A New Numerical Abstract Domain Based on Difference-Bound Matrices},
  booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)},
  series    = {Lecture Notes in Computer Science},
  year      = {2001},
  month     = {May},
  pages     = {155--172},
  volume    = {2053},
  publisher = {Springer},
  location  = {Aarhus, Danemark},
  note      = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}}
}
@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05,
  author    = {Sriram Sankaranarayanan and
               Henny B. Sipma and
               Zohar Manna},
  title     = {Scalable Analysis of Linear Systems Using Mathematical Programming},
  booktitle = {VMCAI},
  year      = {2005},
  pages     = {25-41},
  ee        = {http://dx.doi.org/10.1007/978-3-540-30579-8_2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{Dor:2001:CCS:647170.718291,
  author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel},
  title = {Cleanness Checking of String Manipulations in C Programs via
           Integer Analysis},
  booktitle = {Proceedings of the 8th International Symposium on Static
               Analysis},
  series = {SAS '01},
  year = {2001},
  isbn = {3-540-42314-1},
  pages = {194--212},
  numpages = {19},
  url = {http://dl.acm.org/citation.cfm?id=647170.718291},
  acmid = {718291},
  publisher = {Springer-Verlag},
  address = {London, UK, UK},
}
@INPROCEEDINGS{Yovine98modelchecking,
  author = {Sergio Yovine},
  title = {Model checking timed automata},
  booktitle = {In European Educational Forum: School on Embedded
               Systems},
  year = {1998},
  pages = {114--152},
  publisher = {Springer-Verlag}
}