Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/index.php on line 37
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/index.php on line 51
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $direction in /www/www-wjp/publikationen/index.php on line 55
Warning: Undefined variable $order in /www/www-wjp/publikationen/index.php on line 61
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 64
| 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. | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 120
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 120
