Verified Communication Protocols for Multicore/SoC Architectures: Publications

Click here to download all publications in a single bibtex file

@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{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",
}

@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{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",
}

@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",
}

@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",
}