Jan Dörrenbächer

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

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)