Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/publikationen.php on line 83
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/publikationen.php on line 97
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $order in /www/www-wjp/publikationen/publikationen.php on line 107
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. | |||
| 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. | |||
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
