Björn Wachter : Publications

Click here to download all publications in a single bibtex file

@inproceedings{symbolicWCET,
  title = "Symbolic state traversal for WCET analysis",
  author = "Stephan Wilhelm and Björn Wachter",
  year = "EMSOFT 2009",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/emsoft09.pdf",
}

@inproceedings{DBLP:conf/fmcad/WachterKO,
  title = "Verifying Multi-threaded Software with Impact",
  author = "Björn Wachter and Daniel Kroening and Joel Ouakine",
  year = "2013",
  booktitle = "FMCAD",
}

@article{4909,
  title = "Language Equivalence for Probabilistic Automata",
  author = "Stefan Kiefer, Andrzej S. Murawski, Joel Ouaknine, Björn Wachter, James Worrell",
  year = "2011",
  booktitle = "CAV",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav11.pdf",
}

@article{InfoComLogical,
  title = "Probabilistic Logical Characterization",
  author = "Holger Hermanns and Augusto Parma and Roberto Segala and Björn Wachter and Lijun Zhang",
  year = "2011",
  journal = "Information and Computation",
  url = "portal.acm.org/citation.cfm?id=1924850",
}

@inproceedings{HahnHWZ10,
  title = "PASS: Abstraction Refinement for Infinite Probabilistic Models",
  author = "Ernst Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2010",
  booktitle = "TACAS",
  pages = "353-357",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/tacas10.pdf",
}

@inproceedings{WilhelmABGHRWW10,
  title = "Static Timing Analysis for Hard Real-Time Systems",
  author = "Reinhard Wilhelm and Sebastian Altmeyer and Claire Burguière and Daniel Grund and Jörg Herter and Jan Reineke and Björn Wachter and Stephan Wilhelm",
  year = "2010",
  booktitle = "VMCAI",
  pages = "3-22",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/vmcai10-invited.pdf",
}

@inproceedings{DBLP:conf/cav/HahnHWZ10,
  title = "PARAM: A Model Checker for Parametric Markov Models",
  author = "Ernst Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2010",
  booktitle = "CAV",
  pages = "660-664",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav10.pdf",
}

@inproceedings{WZ10,
  title = "Best Probabilistic Transformers",
  author = "Björn Wachter and Lijun Zhang",
  year = "2010",
  booktitle = "VMCAI",
  pages = "362-379",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/vmcai10.pdf",
}

@phdthesis{WachterPhd,
  title = "Refined Probabilistic Abstraction",
  author = "Björn Wachter",
  year = "2010",
  isbn = "978-3-8325-2764-8",
  publisher = "Logos Verlag Berlin",
}

@article{HHWZ09,
  title = "Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains",
  author = "E. Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2009",
  issn = "1875-8681",
  journal = "Fundamenta Informaticae",
  pages = "129-155",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/funda09.pdf",
  volume = "95",
  doi = "10.3233/FI-2009-145",
}

@inproceedings{Hahn09,
  title = "INFAMY: An Infinite-State Markov Model Checker",
  author = "Ernst Moritz Hahn and Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2009",
  booktitle = "CAV",
  pages = "641-647",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav09.pdf",
}

@inproceedings{Wachter08,
  title = "Probabilistic CEGAR",
  author = "Holger Hermanns and Björn Wachter and Lijun Zhang",
  year = "2008",
  booktitle = "CAV",
  editor = "Aarti Gupta and Sharad Malik",
  note = "Princeton, NJ, USA",
  pages = "162--175",
  publisher = "Springer Verlag",
  series = "LNCS",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/cav08.pdf",
  volume = "5123",
}

@inproceedings{WachterW07,
  title = "The Spotlight Principle",
  author = "Björn Wachter and Bernd Westphal",
  year = "2007",
  booktitle = "VMCAI",
  isbn = "978-3-540-69735-0",
  pages = "182-198",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://www.comlab.ox.ac.uk/people/bjoern.wachter/papers/vmcai07.pdf",
  volume = "4349",
}