|
|
Peter Boehm: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
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
|
|
[2]
|
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Lavel
Eyad Alkassar, Peter Böhm and Steffen Knapp
In Kleinjohann, Bernd, Kleinjohann, Lisa and Wolf, Wayne, editors, Distributed Embedded Systems: Design, Middleware and Resources - IFIP 20th World Computer Congress, TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES'08) Vol. 271/2008, pages 57—67. Springer Science and Business Media, 2008.
Details
|
BibTeX
|
DOI (10.1007/978-0-387-09661-2_6)
|
|
[3]
|
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)
|
|
[4]
|
Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
No. RR-08-05, Technical Report, OUCL. 2008.
Details
|
BibTeX
| Download (pdf) |
|
[5]
|
Formal Verification of a Clock Synchronization Method in a Distributed Automotive System
Peter Böhm
Master's Thesis. Dept. of Computer Science, Saarland University, 2007.
Details
|
BibTeX
|
|
[6]
|
Towards the Formal Verification of Lower System Layers in Automotive Systems
Sven Beyer et al.
In 23rd International Conference on Computer Design (ICCD '05) pages 317—324. IEEE Computer Society, 2005.
Details
|
BibTeX
|
|
|
|
|
