University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Verified Communication Protocols for Multicore/SoC Architectures

Selected Publications

View all

A Framework for Incremental Modelling and Verification of On−Chip Protocols

Peter Böhm

In Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10). October, 2010.

8 pages‚ to appear

Incremental and Verified Modelling of the PCI Express Protocol

Peter Böhm

In IEEE Transactions on Computer−aided Design of Integrated Circuits and Systems. 2010.

14 pages‚ to appear

A Formalised Framework for Incremental Modelling of On−Chip Communication

Peter Böhm

In Participants' Proceedings of the Eighth International Workshop on Designing Correct Circuits (DCC'08)‚ a satellite event of the ETAPS 2010 conferences. March, 2010.

to appear



1st April 2008 to 31st March 2011

Principal Investigator