Home | deutsch | Legals | Sitemap | KIT
MattiasUlbrich Dipl.-Inform. Mattias Ulbrich
Wiss. Mitarbeiter
 Room: 106
Phone: +49 721 608 - 4338
Fax: +49 721 608 - 4211
mulbrichRkr6∂ira uka de

Am Fasanengarten 5
Gebäude 50.34
D-76131 Karlsruhe

Interests

  • Abstract Formal Modelling and Specification
  • Intermediate Verification Languages and Interaction
  • Dynamic Logic
  • The Event-B Methodology

Project

K e Y
The KeY Project

Tools

I am involved in the development of:

  • TABLET - A Java Applet for a first tableau calculus (w/ some automation), mainly for teaching purposes
  • KeY - Integrated Deductive Software Design
  • ivil - Interactive Verification on Intermediate Language
Publications
Title Author Date
Dynamic Frames in Java Dynamic Logic

Peter H. Schmitt
Mattias Ulbrich
Benjamin Weiß
Deductive Verification of a Byzantine Agreement Protocol

Roman Krenický
Mattias Ulbrich

 April 2010


Teaching
Title Type
Formale Programmentwicklung (SS 2010) Seminar
Formale Entwicklung objektorientierter Software (WS09/10) Praktikum
Formale Programmentwicklung (SS09) Seminar
Formale Systeme (WS 08/09) lecture
Formale Software-Entwicklung (SS08) Seminar
Formale Systeme (WS07/08) Vorlesung


Diplom- / Studienarbeit
Titel Typ Datum: Betreuer:
Software Verification for Java 5 Diplomarbeit 2007

Prof. P.H. Schmitt
Richard Bubel
Steffen Schlager
Bereitstellung und Zuweisung von Ressourcen in der formalen algorithmischen Synthese Studienarbeit 2005

Dr. Kai Kapp