Sabine Schmaltz

According to our database, Sabine Schmaltz authored at least 6 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2016

System Architecture - An Ordinary Engineering Discipline

Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz

Springer, ISBN: 978-3-319-43065-2, 2016

2013

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

Sabine Schmaltz

PhD thesis, 2013

Theory of Multi Core Hypervisor Verification.

Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

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

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.

Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2009

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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009