Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. - Wolfgang J. Paul; Sabine Schmaltz; Andrey Shadrin (SEFM, 2012)

Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT. - Sabine Schmaltz; Andrey Shadrin (VSTTE, 2012)

Theory of Multi Core Hypervisor Verification. - Ernie Cohen; Wolfgang J. Paul; Sabine Schmaltz (SOFSEM, 2013)

Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C. - Sabine Schmaltz (2013)

System Architecture - An Ordinary Engineering Discipline - Wolfgang J. Paul; Christoph Baumann; Petro Lutsyk; Sabine Schmaltz (Springer, 2016)