Jan Dörrenbächer

According to our database, Jan Dörrenbächer authored at least 4 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Formal specification and verification of a microkernel.

Jan Dörrenbächer

PhD thesis, 2010

2009

Proving Fairness and Implementation Correctness of a Microkernel Scheduler.

Matthias Daum, Jan Dörrenbächer, Burkhart Wolff

J. Autom. Reason., 2009

2008

A Verification Approach for System-Level Concurrent Programs.

Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff

Proceedings of the Verified Software: Theories, 2008

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

Matthias Daum, Jan Dörrenbächer, Sebastian Bogan

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008