@article{bohm:tcad10,
  title = "Incremental and Verified Modelling of the PCI Express Protocol",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems",
  journal = "IEEE Transactions on Computer-aided Design of Integrated Circuits and Systems",
  note = "14 pages, to appear",
  publisher = "IEEE",
}
@inproceedings{bohm:fmcad10,
  title = "A Framework for Incremental Modelling and Verification of On-Chip Protocols",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10)",
  journal = "Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10)",
  month = "October",
  note = "8 pages, to appear",
}
@inproceedings{boehm:dcc10,
  title = "A Formalised Framework for Incremental Modelling of On-Chip Communication",
  author = "Peter B\"ohm",
  year = "2010",
  booktitle = "Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08), a satellite event of the ETAPS 2010 conferences",
  location = "Paphos, Cyprus",
  month = "March",
  note = "to appear",
}
@inproceedings{boehm:memocode09,
  title = "Incremental Modelling and Verification of the PCI Express Transaction Layer",
  author = "Peter B\"ohm",
  year = "2009",
  booktitle = "Proceedings of the Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'09)",
  isbn = "978-1-4244-4807-4",
  location = "Cambridge, MA, USA",
  month = "July",
  pages = "36--45",
  publisher = "IEEE Computer Society",
  doi = "10.1109/MEMCOD.2009.5185376",
}
@inproceedings{bm:fmcad08,
  title = "A Refinement Approach to Design and Verification of On-Chip Communication Protocols",
  author = "Peter B{\"o}hm and Tom Melham",
  year = "2008",
  booktitle = "Proceedings of the Eighth Conference on Formal Methods in Computer-Aided Design (FMCAD'08)",
  isbn = "978-1-4244-2735-2",
  location = "Portland, OR, USA",
  month = "November",
  pages = "136--143",
  publisher = "IEEE Computer Society",
  doi = "10.1109/FMCAD.2008.ECP.22",
}
@inproceedings{abk:dipes08,
  title = "Formal Correctness of an Automotive Bus Controller Implementation at Gate-Lavel",
  author = "Eyad Alkassar and Peter B\{"o}hm and Steffen Knapp",
  year = "2008",
  booktitle = "Distributed Embedded Systems: Design, Middleware and Resources - IFIP 20th World Computer Congress, TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES'08)",
  editor = "Kleinjohann, Bernd and Kleinjohann, Lisa and Wolf, Wayne",
  pages = "57--67",
  publisher = "Springer Science and Business Media",
  volume = "271/2008",
  doi = "10.1007/978-0-387-09661-2_6",
}
@inproceedings{abk:memocode08,
  title = "Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation",
  author = "Eyad Alkassar and Peter B{\"o}hm and Steffen Knapp",
  year = "2008",
  booktitle = "Sixth ACM {\&} IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'08)",
  isbn = "978-1-4244-2417-7",
  location = "Anaheim, CA, USA",
  month = "June",
  pages = "175--186",
  publisher = "IEEE Computer Society",
  doi = "10.1109/MEMCOD.2008.4547708",
}
@techreport{RR-08-05,
  title = "Design and Verification of On-Chip Communication Protocols",
  author = "Peter B{\"o}hm and Tom Melham",
  year = "2008",
  institution = "OUCL",
  month = "April",
  number = "RR-08-05",
  pages = "16",
  url = "http://web2.comlab.ox.ac.uk/oucl/publications/tr/RR-08-05.html",
}
@mastersthesis{boehm:mt07,
  title = "Formal Verification of a Clock Synchronization Method in a Distributed Automotive System",
  author = "Peter B{\"o}hm",
  year = "2007",
  school = "Dept. of Computer Science, Saarland University",
}
@inproceedings{Beyer:ICCD05-317,
  title = "Towards the Formal Verification of Lower System Layers in Automotive Systems",
  author = "Sven Beyer and Peter B{\"o}hm and Michael Gerke and Mark Hillebrand and In der Rieden, Thomas and Steffen Knapp and Dirk Leinenbach and Wolfgang J. Paul",
  year = "2005",
  booktitle = "23rd International Conference on Computer Design (ICCD '05)",
  pages = "317--324",
  publisher = "IEEE Computer Society",
}