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