Verified Communication Protocols for Multicore/SoC Architectures : Publications
|
[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 |
|
[2] |
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 |
|
[3] |
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 |
|
[4] |
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. |
|
[5] |
Design and Verification of On−Chip Communication Protocols Peter Böhm and Tom Melham No. RR−08−05. OUCL. April, 2008. |
|
[6] |
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. |