Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
  
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
 
zurück   weiter