@phdthesis{3814,
  title = "Program Analysis with Interpolants",
  author = "Georg Weissenbacher",
  year = "2010",
  affiliation = "Oxford University",
  url = "http://ora.ouls.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6",
}
@inproceedings{kroening_weissenbacher_hvc_09,
  title = "An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions",
  author = "Daniel Kroening and Georg Weissenbacher",
  year = "2010",
  booktitle = "Proceedings of the 5th Haifa Verification Conference",
  editor = "Kedar Namjoshi and Andreas Zeller",
  location = "Haifa, Israel",
  note = "This work was also presented at the  <a href="http://www.iist.unu.edu/index.php/seminars-and-colloquia-2010">UNU IIST seminar in Macau</a> <a href="http://www.georg.weissenbacher.name/slides/macau2010.pdf">(click here for slides)</a> in January 2010.",
  publisher = "Springer",
  series = "LNCS",
}
@inproceedings{dkpwvmcai,
  title = "Interpolant Strength",
  author = "Vijay D'Silva and Daniel Kroening and  Mitra Purandare and Georg Weissenbacher",
  year = "2010",
  booktitle = "Proceedings of the International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
  month = "January",
  note = "Extended version available as <a href="http://www.inf.ethz.ch/research/disstechreps/techreports/show?serial=652&lang=en">technical report</a>. <a href="http://www.georg.weissenbacher.name/slides/vmcai2010.pdf">Download slides.</a>",
  pages = "129-145",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-11319-2_12",
  volume = "5944",
  doi = "10.1007/978-3-642-11319-2_12",
}
@article{kroeningweissenbacher_fac09,
  title = "Verification and Falsification of Programs with Loops Using Predicate Abstraction",
  author = "Daniel Kroening and Georg Weissenbacher",
  year = "2009",
  journal = "Formal Aspects of Computing",
  publisher = "Springer",
  url = "http://dx.doi.org/10.1007/s00165-009-0110-2",
  doi = "10.1007/s00165-009-0110-2",
}
@unpublished{dsilva_RRR08,
  title = "Restructuring Resolution Refutations for Interpolation",
  author = "Vijay D'Silva and Daniel Kroening and  Mitra Purandare and Georg Weissenbacher",
  year = "2008",
  month = "October",
  url = "http://www.inf.ethz.ch/personal/vdsilva/publications/dkpw_restructuring_resolution_refutations.pdf",
}
@article{dkw2008,
  title = "A Survey of Automated Techniques for Formal Software Verification",
  author = "Vijay D'Silva and Daniel Kroening and Georg Weissenbacher",
  year = "2008",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
  month = "July",
  number = "7",
  pages = "1165-1178",
  publisher = "IEEE",
  url = "http://dx.doi.org/10.1109/TCAD.2008.923410",
  volume = "27",
  doi = "10.1109/TCAD.2008.923410",
}
@book{bkww2008,
  title = "Digitaltechnik",
  author = "Biere, Armin and Kroening, Daniel and Weissenbacher, Georg and Wintersteiger, Christoph",
  year = "2008",
  month = "March",
  publisher = "Springer",
  url = "http://www.digitaltechnik.org",
}
@inproceedings{bkw2007-spin,
  title = "{SAT}-based Summarisation for {B}oolean Programs",
  author = "Basler, Gerard and Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of SPIN 2007",
  note = "<a href="http://www.georg.weissenbacher.name/slides/spin2007.pdf">Click here for slides.</a>",
  number = "4595",
  pages = "131--148",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springerlink.com/content/x7h7526tu6702917",
}
@inproceedings{kw2007,
  title = "Lifting Propositional Interpolants to the Word-Level",
  author = "Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of FMCAD",
  note = "(also presented in the <a href="http://tresor.epfl.ch/dokuwiki/seminars/2008">TRESOR seminar at EPFL<a>, June 2008)",
  pages = "85--89",
  publisher = "IEEE",
  url = "http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.31",
}
@inproceedings{wbwk2007,
  title = "Model Checking Concurrent {Linux} Device Drivers",
  author = "Witkowski, Thomas and Blanc, Nicolas and Weissenbacher, Georg and Kroening, Daniel",
  year = "2007",
  booktitle = "22nd IEEE International Conference on Automated Software Engineering (ASE)",
  isbn = "978-1-59593-882-4",
  pages = "501--504",
  publisher = "IEEE",
  url = "http://doi.acm.org/10.1145/1321631.1321719",
  doi = "10.1145/1321631.1321719",
}
@inproceedings{bkw2007-hvc,
  title = "A Complete Bounded Model Checking Algorithm for Pushdown Systems",
  author = "Basler, Gerard and Kroening, Daniel and Weissenbacher, Georg",
  year = "2007",
  booktitle = "Proceedings of HVC 2007",
  isbn = "978-3-540-77964-3",
  pages = "202--217",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4899",
}
@inproceedings{kw2006-cav,
  title = "Counterexamples with Loops for Predicate Abstraction",
  author = "Kroening, Daniel and Weissenbacher, Georg",
  year = "2006",
  booktitle = "Proceedings of CAV 2006",
  isbn = "3-540-37406-X",
  pages = "152--165",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/11817963_16",
  volume = "4144",
  doi = "10.1007/11817963_16",
}