Institute for Computer Architecture
and Parallel Computing
Dr. Matthias Daum
Saarland University   Building E1 3
FR 6.2 Informatik    
PO Box 151150    
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: md11@wjpserver.cs.uni-saarland.de
 
 
Curriculum Vitae
 
Research interests
 
Private Homepage
http://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=83
 
Publications
Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike EE BibTeX
From Operating-System Correctness to Pervasively Verified Applications.
In Méry, Dominique and Merz, Stephan, editors, Integrated Formal Methods, 8th International Conference,
volume 6396 of Lecture Notes in Computer Science, pages 105--120, Springer, 2010.
Note: The original publication is available at www.springerlink.com
 
Daum, Matthias EE BibTeX
On the Formal Foundation of a Verification Approach for System-Level Concurrent Programs.
Dissertation, Saarland University, Saarbrücken, 2010.
Note: You can find the corresponding theory files in release vlibvamos-trunk-r31570.tar.gz (5.2M) of the Verisoft Repository.
 
Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart   EE BibTeX
Proving Fairness and Implementation Correctness of a Microkernel Scheduler.
In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating System Verification,
pages 349-388, Springer, 2009.
ISBN 0168-7433
Note: The original publication is available at www.springerlink.com
 
Daum, Matthias EE BibTeX
Temporal Fairness of a Microkernel Scheduler.
In Huuck, R. and Klein, G. and Schlich, B., editors, Doctoral Symposium on Systems Software Verification (DS SSV'09),
Aachen, Germany
volume AIB-2009-14 of Aachener Informatik Berichte, pages 1-3, RWTH Aachen University, 2009.
ISBN 0935–3232
 
Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike   EE BibTeX
Implementation Correctness of a Real-Time Operating System.
In 7th {IEEE} International Conference on Software Engineering and Formal Methods ({SEFM} 2009), 23--27 November 2009, Hanoi, Vietnam,
pages 23-32, IEEE, 2009.
ISBN 978-0-7695-3870
 
Daum, Matthias and Dörrenbächer, Jan and Schmidt, Mareike and Wolff, Burkhart   EE BibTeX
A Verification Approach for System-level Concurrent Programs.
In Woodcock, Jim and Shankar, Natarajan, editors, Verified Software: Theories, Tools, and Experiments,
volume 5295/2008 of LNCS, pages 161-176, Springer, 2008.
ISBN 978-3-540-87872
 
Daum, Matthias EE BibTeX
Modelling User Programs on top of a Microkernel.
In Troubitsyna, Elena, editors, Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008,
volume 48 of General Publications, Turku centre for computer science, 2008.
 
Daum, Matthias and Dörrenbächer, Jan and Bogan, Sebastian EE BibTeX
Model Stack for the Pervasive Verification of a Microkernel-based Operating System.
In Beckert, Bernhard and Klein, Gerwin, editors, 5th International Verification Workshop (VERIFY'08),
volume 372 of CEUR Workshop Proceedings, pages 56-70, CEUR-WS.org, 2008.
 
Daum, Matthias   EE BibTeX
Reasoning on Data-Parallel Programs in Isabelle/HOL.
In Tews, H., editors, C/C++ Verification Workshop, technical report ICIS--R07015,
pages 17-28, Radboud University Nijmegen, 2007.
 
Daum, M. and Maus, S. and Schirmer, N. and Seghir, M.N.   EE BibTeX
Integration of a Software Model Checker into Isabelle.
In Sutcliffe, G. and Voronkov, A., editors, LPAR,
volume 3835 of LNCS, pages 381-395, Springer, 2005.
ISBN 3-540-30553-X