« March 2017 »
March
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
2728293031
Uni-Logo
You are here: Home Team Stefan Maus
Document Actions

Stefan Maus

 

I am nerdier than 99% of all people. Are you a nerd? Click here to find out!

 

Profile for Wumba

 

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. AMAST2008. PDF

Integration of a Software Model Checker into Isabelle. LPAR2005. PDF

 

Theses

Verification of Hypervisor Subroutines written in Assembler. Dissertation, Universität Freiburg, 2011.  PDF

Developing an Operating System Kernel for the VAMP Processor, Part 1. Diplomarbeit, Universität Saarbrücken, 2005. PDF

 

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

 

Talks

Personal tools