Matthias Daum (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 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)

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

2 Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176

Selection of 3 from 5 records - Matthias Daum has 7 coauthors

4		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)
3		Matthias Daum, Jan Dörrenbächer, Sebastian Bogan: Model Stack for the Pervasive Verification of a Microkernel-based Operating System. VERIFY 2008
2		Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff: A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176