| zu den Examensarbeiten |
| Ihre Anfrage lieferte 223 Ergebnisse. |
| Baumann, Christoph and Beckert, Bernhard and Blasum, Holger and Bormer, Thorsten |
|
EE |
BibTeX |
| Lessons Learned From Microkernel Verification --- Specification is the New Bottleneck. |
| In Cassez, Franck and Huuck, Ralf and Klein, Gerwin and Schlich, Bastian, editors, Proceedings Seventh Conference on Systems Software Verification, Sydney, Australia, 28-30 November 2012, |
| volume 102 of Electronic Proceedings in Theoretical Computer Science, pages 18-32, Open Publishing Association, 2012. |
| |
| Baumann, C. and Blasum, H. and Bormer, T. and Tverdyshev, S. |
 |
|
BibTeX |
| Proving Memory Separation in a Microkernel by Code Level Verification. |
| In Wilfried Steiner and Roman Obermaisser, editors, 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011), |
| Newport Beach, CA, USA |
| IEEE Computer Society, 2011. |
| Note: Verified Code Sources: http://www.verisoftxt.de/d/src/memorySeparation.tgz |
| |
| Alkassar, E. and Böhme, S. and Mehlhorn, K. and Rizkallah, C. |
|
|
BibTeX |
| Verification of Certifying Computations. |
| In Conference on Computer Aided Verification (CAV 2011), |
| LNCS, 2011. |
| Note: To appear |
| |
| Klebanov, V and Müller, P. and Shankar, N. and Leavens, G. and Wüstholz, V. and Alkassar, E. and Arthan, R. and Bronish, D. and Chapman, R. and Cohen, E. and Hillebrand, M. and Jacobs, B and Leino, R. and Monahan, R. and Piessens, F. and Polikarpova, N. and Ridge, T. and Smans, J. and Tobies, S. and Tuerk, T. and Ulbrich, M. and Wei, B. |
|
|
BibTeX |
| The 1st Verified Software Competition: Experience Report. |
| In Michael Butler and Wolfram Schulte, editors, 17th International Symposium on Formal Methods (FM 2011), |
| LNCS, 2011. |
| Note: Best Paper Award |
| |
| Christian Müller and Wolfgang Paul |
|
|
BibTeX |
| Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. |
| In Conference on Computer Aided Verification (CAV 2011), |
| LNCS, 2011. |
| Note: To appear |
| |
| Endres, E. and Muller, C. and Shadrin, A. and Tverdyshev, S. |
|
EE |
BibTeX |
| Towards the Formal Verification of a Distributed Real-Time Automotive System. |
| In Cesar Munoz, editors, Second NASA Formal Methods Symposium
NFM 2010, |
| pages 212-217, NASA, 2010. |
| unpublished, available at http://www-wjp.cs.uni-saarland.de/publikationen/Endres-NFM2010.pdf |
| |
| Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. |
|
|
BibTeX |
| Ingredients of Operating System Correctness. |
| In Sturm, M., editors, embedded world 2010 proceedings & conference materials , |
| Nuremberg, Germany |
| WEKA FACHMEDIEN GmbH, 2010. |
| ISBN 978-3-7723-1012 |
| |
| Alkassar, E. and Hillebrand, M. and Paul, W. and Petrova, E. |
|
EE |
BibTeX |
| Automated Verification of a Small Hypervisor. |
| In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10), |
| Edinburgh, UK |
| volume 6217 of LNCS, pages 40-54, Springer, 2010. |
| |
| Alkassar, E. and Paul, W. and Starostin, A. and Tsyban, A. |
|
EE |
BibTeX |
| Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices. |
| In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10), |
| Edinburgh |
| volume 6217 of LNCS, pages 71-85, Springer, 2010. |
| |
| 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 |
| |
