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