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

Brucker, Achim, Brugger, Lukas and Wolff, Burkhart EE BibTeX
Model-based Firewall Conformance Testing.
In Ina Schieferdecker, George Din, Alexandre Petrenko, Manuel Núñez, and Mercedes G. Merayo, editors, Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, (TestCom/Fates 08),
LNCS 5047, pages 103--118, Springer LNCS, 2008.
 
Brucker, Achim and Wolff, Burkhart EE BibTeX
Extensible Universes for Object-oriented Data Models.
In Jan Vitek, editors, European Conference on Object Oriented Programming (ECOOP 08),
LNCS 5142, pages 438--462, Springer LNCS, 2008.
 
Brucker, Achim and Wolff, Burkhart EE BibTeX
HOL-OCL- A Formal Proof Environment for UML/OCL.
In Proceedings of International Conference on Formal Aspects in Software Engineering (FASE 08),
LNCS 4961, Springer LNCS, 2008.
 
Tverdyshev, S. and Shadrin, A.   EE BibTeX
Formal Verification of Gate-Level Computer Systems (short paper).
In Kristin Yvonne Rozier, editors, LFM 2008,
NASA Scientific and Technical Information (STI), pages 56-58, NASA, 2008.
 
Alkassar, Eyad and Böhm, Peter and Knapp, Steffen   EE BibTeX
Correctness of a Fault-Tolerant Real-Time Scheduler Algorithm and its Hardware Implementation.
In Formal Methods and Models for Codesign (MEMOCODE'2008),
pages 175--186, IEEE Computer Society Press, 2008.
 
In der Rieden, T. and Paul, W. J.   EE BibTeX
Beweisen als Ingenieurwissenschaft: Verbundprojekt Verisoft (2003--2007).
In Reuse, B. and Vollmar, R., editors, Informatikforschung in Deutschland,
Karlsruhe
pages 321--326, Springer, 2008.
ISBN 9783540765493
 
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
 
Böhme, Sascha and Leino, Rustan and Wolff, Burkhart   BibTeX
HOL-Boogie — An Interactive Prover for the Boogie Program Verifier.
In Proceedings of the 21th International Conference on Theorem proving in Higher-Order Logics (TPHOLs 2008),
LNCS 5170, Springer, 2008.
 
Daum, Matthias EE BibTeX
Modelling User Programs on top of a Microkernel.
In Troubitsyna, Elena, editors, Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008,
volume 48 of General Publications, Turku centre for computer science, 2008.
 
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.
 
zurück   weiter