| zu den Examensarbeiten |
| Ihre Anfrage lieferte 223 Ergebnisse. |
| Alkassar, E. and Cohen, E. and Hillebrand, M. and Kovalev, M. and Paul, W. |
 |
|
BibTeX |
| Verifying Shadow Page Table Algorithms. |
| In Formal Methods in Computer Aided Design (FMCAD) 2010, |
| Lugano, Switzerland |
| pages 267-270, IEEE, 2010. |
| |
| Alkassar, E. and Cohen, E. and Hillebrand, M. and Pentchev, H. |
|
|
BibTeX |
| Modular Specification and Verification of Interprocess Communication. |
| In Formal Methods in Computer Aided Design (FMCAD) 2010, |
| IEEE, 2010. |
| Note: to appear |
| |
| Alkassar, E. and Bogan, S. and Paul, W. |
|
EE |
BibTeX |
| Proving the Correctness of Client/Server Software. |
| In Sadhana Journal, |
| pages 145-192, Springer, 2009. |
| |
| Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart |
|
EE |
BibTeX |
| Proving Fairness and Implementation Correctness of a Microkernel Scheduler. |
| In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating System Verification, |
| pages 349-388, Springer, 2009. |
| ISBN 0168-7433 |
| Note: The original publication is
available at www.springerlink.com |
| |
| Alkassar, E. and Hillebrand, M. A. and Leinenbach, D. C. and Schirmer, N. W. and Starostin, A. and Tsyban, A. |
|
EE |
BibTeX |
| Balancing the Load: Leveraging Semantics Stack for Systems Verification. |
| In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating Systems Verification, |
| pages 389-454, Springer, 2009. |
| ISBN 0168-7433 |
| |
| Hillebrand, M. and Tverdyshev, S. |
|
EE |
BibTeX |
| Formal Verification of Gate-Level Computer Systems. |
| In A. Morozov, K. Wagner, A. Rybalchenko, and A. Frid., editors, 4th International Computer Science Symposium in Russia, |
| volume 5675 of LNCS, pages 322-333, Springer, 2009. |
| |
| Hillebrand, M. and Leinenbach, D. |
|
EE |
BibTeX |
| Formal Verification of a Reader-Writer Lock Implementation in C. |
| In 4th International Workshop on Systems Software Verification (SSV09), |
| volume 254 of Electronic Notes in Theoretical Computer Science, pages 123-141, Elsevier Science B. V., 2009. |
| |
| Daum, Matthias |
|
EE |
BibTeX |
| Temporal Fairness of a Microkernel Scheduler. |
| In Huuck, R. and Klein, G. and Schlich, B., editors, Doctoral Symposium on Systems Software Verification (DS SSV'09), |
| Aachen, Germany |
| volume AIB-2009-14 of Aachener Informatik Berichte, pages 1-3, RWTH Aachen University, 2009. |
| ISBN 0935–3232 |
| |
| Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. |
|
|
BibTeX |
| Better Avionics Software Reliability by Code Verification. |
| In Sturm, M., editors, embedded world 2009 proceedings & conference materials , |
| Nuremberg, Germany
|
| WEKA FACHMEDIEN GmbH, 2009. |
| ISBN 978-3-7723-3798 |
| |
| Baumann, C. and Bormer, T. |
|
EE |
BibTeX |
| Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project. |
| In Huuck, R. and Klein, G. and Schlich, B., editors, Doctoral Symposium on Systems Software Verification (DS SSV'09)
, |
| Aachen, Germany |
| volume AIB-2009-14
of Aachener Informatik Berichte, pages 20-22, RWTH Aachen University, 2009. |
| Note: ISSN 0935-3232 |
| |
