| 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. |
| |
