Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/index.php on line 37
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/index.php on line 51
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $direction in /www/www-wjp/publikationen/index.php on line 55
Warning: Undefined variable $order in /www/www-wjp/publikationen/index.php on line 61
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 64
| 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 | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 120
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 120
