Sabine Schmaltz

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Operating System

Virtual Machine

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz
Theory of Multi Core Hypervisor Verification. SOFSEM (2013)
Sabine Schmaltz, Andrey Shadrin
Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT. VSTTE (2012)
Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. SEFM (2012)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)