Coordinates
Stefan Maus
Lehrstuhl Softwaretechnik
Georges-Koheler-Allee 52
building, room
052-00-005
+49 761 203 8248 (phone)
+49 761 203 8242 (fax)
Current Research
The current research topic is part of the Verisoft Project. After the first phase with the development and the verification of academic systems we are now looking into industrial size systems. I am working on the Microsoft Hypervisor verification, precisely in the verification of the Assembler parts. The Assembler language is used to make use of different processor abilities or have highly optimized code in performance critical parts.
Publications
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Integration of a Software Model Checker into Isabelle
Theses
Developing an Operating System Kernel for the VAMP Processor, Part 1. Diplomarbeit, Universität Saarbrücken, 2005.
Conferences
-
AMAST2008: Algebraic Methodology And Software Technology. Urbana/IL, USA
- VMCAI2007: Verification, Model Checking and Abstract Interpretation. Nizza, France
-
POPL2007: Principles Of Programming Languages. Nizza, France
-
ETAPS2006: European Joint Conferences on Theory and Practice of Software. Vienna, Austria
- CHARME2005: Correct Hardware Design and Verification Methods. Saarbrücken, Germany
-
LPAR2005: International Conference on Logic for Programming Artiticial Intelligence and Reasoning. Montego Bay, Jamaika
-
ETAPS2005: European Joint Conferences on Theory and Practice of Software. Edinburgh, Schottland