Verified Communication Protocols for Multicore/SoC Architectures: Publications
Journal papers
-
[1]
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
Details about Incremental and Verified Modelling of the PCI Express Protocol | BibTeX data for Incremental and Verified Modelling of the PCI Express Protocol
Conference papers
-
[1]
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
Details about A Framework for Incremental Modelling and Verification of On−Chip Protocols | BibTeX data for A Framework for Incremental Modelling and Verification of On−Chip Protocols
-
[2]
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
Details about A Formalised Framework for Incremental Modelling of On−Chip Communication | BibTeX data for A Formalised Framework for Incremental Modelling of On−Chip Communication
-
[3]
Incremental Modelling and Verification of the PCI Express Transaction Layer
Peter Böhm
In Proceedings of the Seventh ACM−IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'09). Pages 36–45. IEEE Computer Society. July, 2009.
Details about Incremental Modelling and Verification of the PCI Express Transaction Layer | BibTeX data for Incremental Modelling and Verification of the PCI Express Transaction Layer | DOI (10.1109/MEMCOD.2009.5185376)
-
[4]
A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Peter Böhm and Tom Melham
In Proceedings of the Eighth Conference on Formal Methods in Computer−Aided Design (FMCAD'08). Pages 136–143. IEEE Computer Society. November, 2008.
Details about A Refinement Approach to Design and Verification of On−Chip Communication Protocols | BibTeX data for A Refinement Approach to Design and Verification of On−Chip Communication Protocols | DOI (10.1109/FMCAD.2008.ECP.22)
Technical reports
-
[1]
Design and Verification of On−Chip Communication Protocols
Peter Böhm and Tom Melham
No. RR−08−05. OUCL. April, 2008.
Details about Design and Verification of On−Chip Communication Protocols | BibTeX data for Design and Verification of On−Chip Communication Protocols | Download (pdf) of Design and Verification of On−Chip Communication Protocols | Link to Design and Verification of On−Chip Communication Protocols