| Challenges and experiences in managing large-scale proofs T Bourke, M Daum, G Klein, R Kolanski Intelligent Computer Mathematics, 32-48, 2012 | 43 | 2012 |
| 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 | 36 | 2009 |
| 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 | 21 | 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 | 20 | 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 | 20 | 2005 |
| Reasoning on Data-Parallel Programs in Isabelle/HOL M Daum C/C++ Verification Workshop, 17-28, 2007 | 16 | 2007 |
| Concerned with the unprivileged: User programs in kernel refinement M Daum, N Billing, G Klein Formal Aspects of Computing 26 (6), 1205-1229, 2014 | 15 | 2014 |
| 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 | 15 | 2008 |
| From operating-system correctness to pervasively verified applications M Daum, NW Schirmer, M Schmidt International Conference on Integrated Formal Methods, 105-120, 2010 | 11 | 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 | | |
Gerwin KleinProofcraft and UNSWVerified email at unsw.edu.au
