Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
  
zu den Examensarbeiten
Ihre Anfrage lieferte 223 Ergebnisse.

Leinenbach, D. and Petrova, E.   EE BibTeX
Pervasive Compiler Verification -- From Verified Programs to Verified Systems.
In 3rd intl Workshop on Systems Software Verification (SSV08).,
volume 217C of Electronic Notes in Theoretical Computer Science, pages 23-40, Elsevier Science B. V., 2008.
 
Starostin, Artem and Tsyban, Alexandra   EE BibTeX
Correct Microkernel Primitives.
In R. Huuck, G. Klein and B. Schlich , editors, 3rd intl Workshop on Systems Software Verification (SSV08),
volume 217 of ENTCS, pages 169--185 , Elsevier Science B. V., 2008.
 
Alkassar, Eyad and Schirmer, Norbert and Starostin, Artem   EE BibTeX
Formal Pervasive Verification of a Paging Mechanism.
In C. R. Ramakrishnan and Jakob Rehof, editors, 14th intl Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS08),
volume 4963 of LNCS, pages 109-123, Springer, 2008.
 
In der Rieden, T. and Tsyban, A.   EE BibTeX
CVM - A Verified Framework for Microkernel Programmers.
In R. Huuck, G. Klein and B. Schlich, editors, 3rd intl Workshop on Systems Software Verification (SSV08),
volume 217 of ENTCS, pages 151--168 , Elsevier Science B.V., 2008.
 
Knapp, Steffen   EE BibTeX
Pervasive Layered Verification of a Distributed Real-Time System.
In Third International Conference on Systems (ICONS'08),
pages 323--328, 2008.
 
Tverdyshev, S. and Alkassar, E.   EE BibTeX
Efficient Bit-Level Model Reductions for Automated Hardware Verification.
In Stéphane Demri and Christian S. Jensen, editors, 15th International Symposium on Temporal Representation and Reasoning: TIME2008,
pages pp. 164-172, IEEE Computer Society Press, 2008.
 
Fischer, Sabine   BibTeX
Formal Verification of a Big Integer Library.
Workshop on Dependable Software Systems at DATE'08, 2008.
 
Alkassar, Eyad and Böhm, Peter and Knapp, Steffen   EE BibTeX
Formal Correctness of a Gate-Level Automotive Bus Controller Implementation.
In Bernd Kleinjohann and Lisa Kleinjohann and Wayne Wolf, editors, 6th IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES08),
pages 57-68, Springer, 2008.
 
Brucker, Achim and Wolff, Burkhart     BibTeX
An Extensible Encoding of Object-oriented Data Models in HOL with an Application to IMP++.
In Serge Autexier, Heiko Mantel, Stephan Merz, and Tobias Nipkow, editors, Selected Papers of the AVOCS-VERIFY Workshop 2006,
Formal Aspects of Computing (to appear), Springer, 2008.
 
Brucker, Achim, Brugger, Lukas and Wolff, Burkhart   BibTeX
Verifying Test-Hypotheses: An Experiment in Test and Proof.
In Model-Based Testing,
ENTCS 2008, Elsevier, 2008.
 
zurck   weiter