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