| |
| 2008 | ||
|---|---|---|
| 2 | EE | Matthias Daum, Jan Dörrenbächer, Sebastian Bogan: Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY 2008 |
| 1 | EE | Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176 |
| 1 | Sebastian Bogan | [2] |
| 2 | Matthias Daum | [1] [2] |
| 3 | Mareike Schmidt | [1] |
| 4 | Burkhart Wolff | [1] |