Proving fairness and implementation correctness of a microkernel scheduler M Daum, J Dörrenbächer, B Wolff Journal of Automated Reasoning 42 (2), 349-388, 2009 | 35 | 2009 |
Challenges and experiences in managing large-scale proofs T Bourke, M Daum, G Klein, R Kolanski Intelligent Computer Mathematics, 32-48, 2012 | 33 | 2012 |
Model stack for the pervasive verification of a microkernel-based operating system M Daum, J Dörrenbächer, S Bogan 5th International Verification Workshop (VERIFY’08) 372, 56-70, 2008 | 23 | 2008 |
Implementation correctness of a real-time operating system M Daum, NW Schirmer, M Schmidt 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 21 | 2009 |
Integration of a software model checker into Isabelle M Daum, S Maus, N Schirmer, MN Seghir Logic for Programming, Artificial Intelligence, and Reasoning, 381-395, 2005 | 21 | 2005 |
A verification approach for system-level concurrent programs M Daum, J Dörrenbächer, M Schmidt, B Wolff Verified Software: Theories, Tools, Experiments, 161-176, 2008 | 16 | 2008 |
Concerned with the unprivileged: User programs in kernel refinement M Daum, N Billing, G Klein Formal Aspects of Computing 26, 1205-1229, 2014 | 15 | 2014 |
Reasoning on Data-Parallel Programs in Isabelle/HOL M Daum C/C++ Verification Workshop, 17-28, 2007 | 15 | 2007 |
From operating-system correctness to pervasively verified applications M Daum, NW Schirmer, M Schmidt Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 9 | 2010 |
Modelling user programs on top of a microkernel M Daum Proceedings of Doctoral Symposium held in conjunction with Formal Methods 48, 2008 | 4 | 2008 |
Development of a semantics compiler for C++ M Daum Dresden University of Technology, 2003 | 4 | 2003 |
On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs M Daum Saarland University, Saarbrücken, 2010 | 3 | 2010 |
Entwicklung einer Implementationssprache für einen sicheren Mikrokern M Daum Dresden University of Technology, 2002 | | 2002 |
Temporal Fairness of a Microkernel Scheduler M Daum Doctoral Symposium on Systems Software Verification (DS SSV’09) Real …, 0 | | |