| zurück zu den Publikationen |
| Ihre Anfrage lieferte 18 Ergebnisse. |
| Kovalev, Mikhail |
 |
|
BibTeX |
| TLB Virtualization in the Context of Hypervisor Verification. | | | 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.. | | | Dissertation, Saarland University, Saarbrücken, 2012. | | |
| Dörrenbächer, Jan |
|
|
BibTeX |
| Formal Specification and Verification of a Microkernel. | | | Dissertation, Saarland University, Saarbrücken, 2010. | | |
| Starostin, Artem |
|
|
BibTeX |
| Formal Verification of Demand Paging. | | | Dissertation, Saarland University, Saarbrücken, 2010. | | |
| In der Rieden, Thomas |
|
|
BibTeX |
| Verifi ed Linking for Modular Kernel Veri fication. | | | Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Tsyban, Alexandra |
|
|
BibTeX |
| Formal Verification of a Framework for Microkernel Programmers. | | | Dissertation, Saarland University, Saarbrücken, 2009. | | |
| Leinenbach, Dirk |
|
|
BibTeX |
| Compiler Verification in the Context of Pervasive System Verification. | | | Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Bogan, Sebastian |
|
|
BibTeX |
| Formal Specification of a Simple Operating System. | | | Dissertation, Saarland University, Saarbrücken, 2008. | | |
| Dalinger, Iakov |
|
|
BibTeX |
| Formal Verification of a Processor with Memory Management Units. | | | Dissertation, Saarland University, Saarbrücken, 2006. | | |
| Beyer, Sven |
|
|
BibTeX |
| Putting it all together - Formal Verification of the VAMP. | | | Dissertation, Saarland University, Saarbrücken, 2005. | | | weiter
|
