| |
| 2008 | ||
|---|---|---|
| 3 | EE | Matthias Daum, Jan Dörrenbächer, Sebastian Bogan: Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY 2008 |
| 2 | EE | Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176 |
| 2005 | ||
| 1 | EE | Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir: Integration of a Software Model Checker into Isabelle. LPAR 2005: 381-395 |
| 1 | Sebastian Bogan | [3] |
| 2 | Jan Dörrenbächer | [2] [3] |
| 3 | Stefan Maus | [1] |
| 4 | Norbert Schirmer | [1] |
| 5 | Mareike Schmidt | [2] |
| 6 | M. Nassim Seghir | [1] |
| 7 | Burkhart Wolff | [2] |