Matthias Daum

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

User Preferences

Similarity Function

Top Venues

AISC/MKM/Calculemus

Formal Aspects Comput.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Matthias Daum, Nelson Billing, Gerwin Klein
Concerned with the unprivileged: user programs in kernel refinement. Formal Aspects Comput. 26 (6) (2014)
Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus (2012)
Matthias Daum, Norbert Schirmer, Mareike Schmidt
From Operating-System Correctness to Pervasively Verified Applications. IFM (2010)
Matthias Daum, Norbert Schirmer, Mareike Schmidt
Implementation Correctness of a Real-Time Operating System. SEFM (2009)
Matthias Daum, Jan Dörrenbächer, Burkhart Wolff
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reason. 42 (2-4) (2009)
Matthias Daum, Jan Dörrenbächer, Sebastian Bogan
Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY (2008)
Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff
A Verification Approach for System-Level Concurrent Programs. VSTTE (2008)
Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir
Integration of a Software Model Checker into Isabelle. LPAR (2005)