Room 00-021, building 52 Phone +49 761 203 8209 Fax +49 761 203 8242 Mail Homepage http://www.informatik.uni-freiburg.de/~maus/

Work

ALICE - Automatic Language translation for Isabelle C code Environment

Theses

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

PDF PS

Conferences

VMCAI2007: Verification, Model Checking and Abstract Interpretation. Nizza, France

POPL2007: Principles Of Programming Languages. Nizza, France

GVD2006: German Verification Day. Bonn, Germany

ETAPS2006: European Joint Conferences on Theory and Practice of Software. Vienna, Austria

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

Teaching

Computer Architecture (Sommersemester 2004, Saarbrücken)