 | 2011 |
|---|
| 8 |       | Scott Owens,
Peter Böhm,
Francesco Zappa Nardelli,
Peter Sewell:
Lem: A Lightweight Tool for Heavyweight Semantics.
ITP 2011: 363-369 |
| 2010 |
|---|
| 7 | | Peter Böhm:
A framework for incremental modelling and verification of on-chip protocols.
FMCAD 2010: 159-166 |
| 6 | | Peter Böhm:
Incremental and Verified Modeling of the PCI Express Protocol.
IEEE Trans. on CAD of Integrated Circuits and Systems 29(10): 1495-1508 (2010) |
| 2009 |
|---|
| 5 | | Peter Böhm:
Incremental modelling and verification of the PCI Express transaction layer.
MEMOCODE 2009: 36-45 |
| 2008 |
|---|
| 4 | | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES 2008: 57-67 |
| 3 | | Peter Böhm,
Tom Melham:
A Refinement Approach to Design and Verification of On-Chip Communication Protocols.
FMCAD 2008: 1-8 |
| 2 | | Eyad Alkassar,
Peter Böhm,
Steffen Knapp:
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE 2008: 175-186 |
| 2005 |
|---|
| 1 | | Sven Beyer,
Peter Böhm,
Michael Gerke,
Mark A. Hillebrand,
Thomas In der Rieden,
Steffen Knapp,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD 2005: 317-326 |
Data released under the ODC-BY 1.0 license — See also our legal information page