Jan Dörrenbächer

	2009
3		Matthias Daum, Jan Dörrenbächer, Burkhart Wolff: Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reasoning 42(2-4): 349-388 (2009)
	2008
2		Matthias Daum, Jan Dörrenbächer, Sebastian Bogan: Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY 2008
1		Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176

Coauthor Index

1	Sebastian Bogan	[2]
2	Matthias Daum	[1] [2] [3]
3	Mareike Schmidt	[1]
4	Burkhart Wolff	[1] [3]