 | 2010 |
|---|
| 7 |       | Matthias Daum,
Norbert Schirmer,
Mareike Schmidt:
From Operating-System Correctness to Pervasively Verified Applications.
IFM 2010: 105-120 |
| 6 | | Matthias Daum:
On the formal foundation of a verification approach for system-level concurrent programs.
Saarland University 2010 |
| 2009 |
|---|
| 5 | | Matthias Daum,
Norbert Schirmer,
Mareike Schmidt:
Implementation Correctness of a Real-Time Operating System.
SEFM 2009: 23-32 |
| 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,
Mohamed Nassim Seghir:
Integration of a Software Model Checker into Isabelle.
LPAR 2005: 381-395 |
Data released under the ODC-BY 1.0 license — See also our legal information page