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. | |||
| Borrione, D. and Paul, W.J. | EE | BibTeX | |
| Correct Hardware Design and Verification Methods. Proc. CHARME 05. | |||
| Saarbrücken | |||
| volume 3725 of LNCS, Springer, 2005. | |||
| Dalinger, I. and Hillebrand, M. and Paul, W. | EE | BibTeX | |
| On the Verification of Memory Management Mechanisms. | |||
| In Borrione, D. and Paul, W., editors, CHARME 2005, | |||
| LNCS, Springer, 2005. | |||
| Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W. | EE | BibTeX | |
| On the Correctness of Operating System Kernels. | |||
| In Hurd, J. and Melham, T., editors, Theorem Proving in High Order Logics (TPHOLs) 2005, | |||
| Oxford, U.K. | |||
| LNCS, Springer, 2005. | |||
| Tverdyshev, Sergey |  |
EE | BibTeX |
| Combination of Isabelle/HOL with Automatic Tools. | |||
| In Bernhard Gramlich, editors, FroCoS 2005, | |||
| volume 3717 of Lecture Notes in Computer Science, pages 302-309, Springer Verlag, 2005. | |||
| ISBN 3-540-29051-6 | |||
| Leinenbach, D. and Paul, W. and Petrova, E. | |
EE | BibTeX |
| Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctness. | |||
| In 3rd International Conference on Software Engineering and Formal Methods (SEFM 2005), | |||
| Koblenz, Germany | |||
| 2005. | |||
| Note: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. | |||
| Ayewah, N. and Beyer, S. and Kikkeri, N. and Seidel, P.-M. | EE | BibTeX | |
| Challenges in the Formal Verification of Complete State-of-the-Art Processors. | |||
| In International Conference on Computer Design, | |||
| San Jose | |||
| 2005. | |||
| Beyer, S. and Böhm, P. and Gerke, M. and Hillebrand, M. and In der Rieden, T. and Knapp, S. and Leinenbach, D. and Paul, W.J. | EE | BibTeX | |
| Towards the Formal Verification of Lower System Layers in Automotive Systems. | |||
| In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings, | |||
| pages 317-324, IEEE, 2005. | |||
| ISBN 0-7695-2451-6 | |||
| Hillebrand, M. and In der Rieden, T. and Paul, W.J. | EE | BibTeX | |
| Dealing with I/O Devices in the Context of Pervasive System Verification. | |||
| In 23nd IEEE International Conference on Computer Design: VLSI in Computers and Processors (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, Proceedings, | |||
| pages 309-316, IEEE, 2005. | |||
| ISBN 0-7695-2451-6 | |||
| In der Rieden, T. and Knapp, S. | EE | BibTeX | |
| An Approach to the Pervasive Formal Specification and Verification of an Automotive System (Status Report). | |||
| In Tenth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 05), | |||
| 2005. | |||
| In der Rieden, T., and Leinenbach, D., and W. J. Paul | EE | BibTeX | |
| Towards the Pervasive Verification of Automotive Systems. | |||
| In Dominique Borrione, and Wolfgang Paul, editors, Correct Hardware Design and Verification Methods (CHARME 2005), | |||
| volume 3725 of Lecture Notes in Computer Science, pages 3-4, Springer, 2005. | |||
| ISBN 3-540-29105-9 | |||
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
