| zu den Examensarbeiten |
| Ihre Anfrage lieferte 223 Ergebnisse. |
| Tverdyshev, Sergey |
|
EE |
BibTeX |
| A Verified Platform for a Gate-Level Electronic Control Unit. |
| In Formal Methods in Computer Aided Design, FMCAD'09, |
| IEEE, pages 164-171, IEEE, 2009. |
| ISBN 978-1-4244-4966 |
| |
| Cohen, E. and Dahlweid, M. and Hillebrand, M. and Leinenbach, D. and Moskal, M. and Santen, T. and Schulte, W. and Tobies, S. |
|
EE |
BibTeX |
| VCC: A Practical System for Verifying Concurrent C. |
| In Stefan Berghofer and Tobias Nipkow and Christian Urban and Markus Wenzel, editors, Proceedings of the 22nd International Conference on Theorem proving in Higher-Order Logics (TPHOLs 2009), |
| Munich, Germany |
| volume 5674 of Lecture Notes in Computer Science, pages 23--42, Springer, 2009. |
| |
| Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike |
|
EE |
BibTeX |
| Implementation Correctness of a Real-Time Operating System. |
| In 7th {IEEE} International Conference on Software Engineering and Formal Methods ({SEFM} 2009), 23--27 November 2009, Hanoi, Vietnam, |
| pages 23-32, IEEE, 2009. |
| ISBN 978-0-7695-3870 |
| |
| Leinenbach, D. and Santen, T. |
|
EE |
BibTeX |
| Verifying the Microsoft Hyper-V Hypervisor with VCC. |
| In 16th International Symposium on Formal Methods (FM 2009), |
| Eindhoven, the Netherlands |
| volume 5850 of Lecture Notes in Computer Science, pages 806-809, Springer, 2009. |
| Note: Invited paper. |
| |
| Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. |
|
EE |
BibTeX |
| Formal Verification of a Microkernel Used in Dependable Software Systems. |
| In Buth, Bettina; Rabe, Gerd; Seyfarth, Till , editors, Computer Safety, Reliability, and Security (Safecomp 2009), |
| volume 5775 of Lecture Notes in Computer Science, pages 187-200, Springer Berlin / Heidelberg, 2009. |
| ISBN 978-3-642-04467 |
| |
| Cohen, Ernie and Schirmer, Norbert |
|
EE |
BibTeX |
| A Better Reduction Theorem for Store Buffers. |
| 2009. |
| |
| Schirmer, Norbert and Wenzel, Makarius |
|
EE |
BibTeX |
| State Spaces -- The Locale Way. |
| In 4th International Workshop on Systems Software Verification (SSV 2009), |
| volume 254 of Electronic Notes in Theoretical Computer Science, pages 161--179, Elsevier Science B.V., 2009. |
| |
| Degenbaev, Ulan and Paul, Wolfgang J. and Schirmer, Norbert |
|
EE |
BibTeX |
| Pervasive Theory of Memory. |
| In Susanne Albers and Helmut Alt and Stefan N{\"a}her, editors, Efficient Algorithms -- Essays Dedicated to Kurt
Mehlhorn on the Occasion of His 60th Birthday, |
| Saarbrücken |
| volume 5760 of Lecture Notes in Computer Science, pages 74-98, Springer, 2009. |
| |
| Cohen, E. and Alkassar, E. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S. |
 |
EE |
BibTeX |
| Invariants, Modularity, and Rights. |
| In Amir Pnueli and Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics (PSI 2009), |
| Novosibirsk, Russia |
| volume 5947 of Lecture Notes in Computer Science, pages 43--55, Springer, 2009. |
| |
| Botaschanjan, J. and Broy, M. and Gruler, A. and Harhurin, A. and Knapp, S. and Kof, L. and Paul, W. and Spichkova, M. |
|
EE |
BibTeX |
| On the Correctness of Upper Layers of Automotive Systems. |
| In Eerke Boiten, editors, Formal Aspects of Computing, |
| pages 637-662, Springer London, 2008. |
| ISBN 0934-5043 |
| |
