Concepedia

Matthias Daum

MD

Statistics

Publications

4

Citations

69

H-Index

4

Active since

2008

Affiliations

Saarland University(Current)

Matthias Daum is an author at Saarland University specializing in formal verification, computer engineering, and computer science.

Top concepts

Publications per year

2008–2014

4

Publications

4

Proving Fairness and Implementation Correctness of a Microkernel Scheduler

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

, , +6

Implementation Correctness of a Real-Time Operating System

Matthias Daum, Norbert Schirmer, Mareike Schmidt · 2009 · 20 citations

, , +22

Concerned with the unprivileged: user programs in kernel refinement

Matthias Daum, Nelson Billing, Gerwin Klein · Formal Aspects of Computing · 2014 · 14 citations · Full text

Model stack for the pervasive verification of a microkernel-based operating system

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan · 2008 · 11 citations

1–4 of 4