Sabine Schmaltz

System Architecture: An Ordinary Engineering Discipline

W. Paul, Christoph Baumann, Petro Lutsyk, 2016 .

System Architecture

W. Paul, Christoph Baumann, Petro Lutsyk, 2016, Springer International Publishing.

Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT

Sabine Schmaltz, Andrey Shadrin, Sabine Schmaltz, 2012, VSTTE.

Invariants, Modularity, and Rights

Mark A. Hillebrand, Wolfgang J. Paul, Alexandra Tsyban, 2009, Ershov Memorial Conference.

Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C

Sabine Schmaltz, Sabine Schmaltz, 2012 .

Theory of Multi Core Hypervisor Verification

Wolfgang J. Paul, Sabine Schmaltz, Ernie Cohen, 2013, SOFSEM.