 | 2009 |
|---|
| 4 |       | Matthias Daum,
Jan Dörrenbächer,
Burkhart Wolff:
Proving Fairness and Implementation Correctness of a Microkernel Scheduler.
J. Autom. Reasoning 42(2-4): 349-388 (2009) |
| 2008 |
|---|
| 3 | | Matthias Daum,
Jan Dörrenbächer,
Sebastian Bogan:
Model Stack for the Pervasive Verification of a Microkernel-based Operating System.
VERIFY 2008 |
| 2 | | Matthias Daum,
Jan Dörrenbächer,
Mareike Schmidt,
Burkhart Wolff:
A Verification Approach for System-Level Concurrent Programs.
VSTTE 2008: 161-176 |
| 2005 |
|---|
| 1 | | Matthias Daum,
Stefan Maus,
Norbert Schirmer,
M. Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
LPAR 2005: 381-395 |
