![]() | ![]() |
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] |