Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
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.
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,
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
zurck   weiter