| 2008 |
|---|
| 10 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Dirk Leinenbach,
Norbert Schirmer,
Artem Starostin:
The Verisoft Approach to Systems Verification.
VSTTE 2008: 209-224 |
| 9 | EE | Eyad Alkassar,
Mark A. Hillebrand:
Formal Functional Verification of Device Drivers.
VSTTE 2008: 225-239 |
| 2007 |
|---|
| 8 | EE | Mark A. Hillebrand,
Wolfgang J. Paul:
On the Architecture of System Verification Environments.
Haifa Verification Conference 2007: 153-168 |
| 7 | EE | Eyad Alkassar,
Mark A. Hillebrand,
Steffen Knapp,
Rostislav Rusev,
Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface.
VERIFY 2007 |
| 2005 |
|---|
| 6 | EE | Iakov Dalinger,
Mark A. Hillebrand,
Wolfgang J. Paul:
On the Verification of Memory Management Mechanisms.
CHARME 2005: 301-316 |
| 5 | EE | 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 |
| 4 | EE | 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 |
| 3 | EE | Mauro Gargano,
Mark A. Hillebrand,
Dirk Leinenbach,
Wolfgang J. Paul:
On the Correctness of Operating System Kernels.
TPHOLs 2005: 1-16 |
| 2001 |
|---|
| 2 | EE | Mark A. Hillebrand,
Thomas Schurger,
Peter-Michael Seidel:
How to Half Wire Lengths in the Layout of Cyclic Shifter.
VLSI Design 2001: 339-344 |
| 1998 |
|---|
| 1 | EE | Thomas Grün,
Mark A. Hillebrand:
NAS Integer Sort on Multi-threaded Shared Memory Machines.
Euro-Par 1998: 999-1009 |
