| Schmidt, Mareike |
 |
|
BibTeX |
| Formal Verification of a Small Real-Time Operating System. | | | Dissertation, Saarland University, Saarbrücken, 2011. | | Note: You can find the corresponding theory files in release vlibolos-trunk-r31831.tar.gz (4.0M) of the Verisoft Repository. | | | | 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 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 | | |
|
