 | 2008 |
|---|
| 4 |       | Thomas In der Rieden,
Alexandra Tsyban:
CVM - A Verified Framework for Microkernel Programmers.
Electr. Notes Theor. Comput. Sci. 217: 151-168 (2008) |
| 2005 |
|---|
| 3 | | Thomas In der Rieden,
Dirk Leinenbach,
Wolfgang J. Paul:
Towards the Pervasive Verification of Automotive Systems.
CHARME 2005: 3-4 |
| 2 | | Mark A. Hillebrand,
Thomas In der Rieden,
Wolfgang J. Paul:
Dealing with I/O Devices in the Context of Pervasive System Verification.
ICCD 2005: 309-316 |
| 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 |
