Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $direction in /www/www-wjp/includes/publikationsliste.php on line 56
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
| zurück zu den Publikationen |
| Ihre Anfrage lieferte 18 Ergebnisse. |
Warning: Undefined variable $simple_publications in /www/www-wjp/includes/publikation.php on line 5
| Kovalev, Mikhail |
 |
|
BibTeX |
| TLB Virtualization in the Context of Hypervisor Verification. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2013. | | |
| Shadrin, Andrey |
|
|
BibTeX |
| Mixed Low- and High Level Programming Languages Semantics.Automated Verification of a Small Hypervisor: Putting It All Together.. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2012. | | |
| Dörrenbächer, Jan |
|
|
BibTeX |
| Formal Specification and Verification of a Microkernel. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2010. | | |
| Starostin, Artem |
|
|
BibTeX |
| Formal Verification of Demand Paging. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2010. | | |
| In der Rieden, Thomas |
|
|
BibTeX |
| Verifi ed Linking for Modular Kernel Veri fication. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Tsyban, Alexandra |
|
|
BibTeX |
| Formal Verification of a Framework for Microkernel Programmers. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Leinenbach, Dirk |
|
|
BibTeX |
| Compiler Verification in the Context of Pervasive System Verification. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Bogan, Sebastian |
|
|
BibTeX |
| Formal Specification of a Simple Operating System. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Dalinger, Iakov |
|
|
BibTeX |
| Formal Verification of a Processor with Memory Management Units. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2006. | | |
| Beyer, Sven |
|
|
BibTeX |
| Putting it all together - Formal Verification of the VAMP. | |
Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
| Dissertation, Saarland University, Saarbrücken, 2005. | | |
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
weiter
|
