| Dörrenbächer, Jan |
 |
|
BibTeX |
| Formal Specification and Verification of a Microkernel. | | | Dissertation, Saarland University, Saarbrücken, 2010. | | | | 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 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 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. | | |
|
