Jan Dörrenbächer

	2010
4		Jan Dörrenbächer: Formal specification and verification of a microkernel. Saarland University 2010
	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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page