Model Stack for the Pervasive Verification of a Microkernel-based Operating System. - Matthias Daum 001; Jan Dörrenbächer; Sebastian Bogan (VERIFY, 2008)

A Verification Approach for System-Level Concurrent Programs. - Matthias Daum 001; Jan Dörrenbächer; Mareike Schmidt; Burkhart Wolff (VSTTE, 2008)

Proving Fairness and Implementation Correctness of a Microkernel Scheduler. - Matthias Daum 001; Jan Dörrenbächer; Burkhart Wolff (J. Autom. Reason., 2009)

Formal specification and verification of a microkernel. - Jan Dörrenbächer (2010)