Matthias Daum

From Operating-System Correctness to Pervasively Verified Applications

Norbert Schirmer, Mareike Schmidt, Matthias Daum, 2010, IFM.

Model Stack for the Pervasive Verification of a Microkernel-based Operating System

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan, 2008, VERIFY.

Integration of a Software Model Checker into Isabelle

Mohamed Nassim Seghir, Norbert Schirmer, Matthias Daum, 2005, LPAR.

Challenges and Experiences in Managing Large-Scale Proofs

Timothy Bourke, Rafal Kolanski, Gerwin Klein, 2012, AISC/MKM/Calculemus.

A Verification Approach for System-Level Concurrent Programs

Burkhart Wolff, Matthias Daum, Jan Dörrenbächer, 2008, VSTTE.

Proving Fairness and Implementation Correctness of a Microkernel Scheduler

Burkhart Wolff, Matthias Daum, Jan Dörrenbächer, 2009, Journal of Automated Reasoning.

Concerned with the unprivileged: user programs in kernel refinement

Gerwin Klein, Matthias Daum, Nelson Billing, 2014, Formal Aspects of Computing.

Implementation Correctness of a Real-Time Operating System

Norbert Schirmer, Mareike Schmidt, Matthias Daum, 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.

Modelling User Programs on top of a Microkernel ?

Matthias Daum, 2008 .