|
|
Peter Boehm
| Peter Boehm
Doctoral Student
Student,
Balliol College
Peter.Boehm@comlab.ox.ac.uk
+44 (0)1865 610803
Room 423, Wolfson Building, Parks Road, Oxford OX1 3QD
|
selected publications
(View all)
|
A Refinement Approach to Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
In Proceedings of the Eighth Conference on Formal Methods in Computer-Aided Design (FMCAD'08) IEEE Computer Society, 2008.
to appear.
Details
|
BibTeX
|
|
Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
No. RR-08-05, Technical Report, OUCL. 2008.
Details
|
BibTeX
| Download |
|
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation
Eyad Alkassar, Peter Böhm and Steffen Knapp
In Sixth ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'08), June 5—7 2008, Anaheim, CA, USA pages 175—186. IEEE Computer Society, 2008.
Details
|
BibTeX
|
DOI (10.1109/MEMCOD.2008.4547708)
|
info
|
|
|
|
