Projects and Interests

• Current Projects 
  

The KeY Project - Integrated Deductive Software Development The aim of the project is to integrate formal software specification and verification into the industrial software engineering processes. The KeY project is funded by the DFG.

• Interests
• Formal specification with UML/OCL
• UML statecharts
  
• Software verification (especially verification of Java programs)
• Dynamic Logic
• Refinement and retrenchment
  
• Security
  
• Teaching
• Praktikum Formale Entwicklung objektorientierter Software (WS 2002/2003)
• Praktikum Formale Entwicklung objektorientierter Software (WS 2003/2004)
• Seminar Formale Software-Entwicklung (SS 2004)
• Uebungen zur Vorlesung Formale Systeme (WS 2004/2005)
• Other Activities
  
• Co-organiser of Second Swedish-German KeY-Workshop
  

  Home Pages

My boss

• Peter H. Schmitt

Members of the group

• Bernhard Beckert
• Richard Bubel
• Vladimir Klebanov
  
• Andreas Roth 

• Wolfgang Ahrendt
• Thomas Baar
• Martin Giese
• Reiner Hähnle
• Kristofer Johannisson
• Wolfram Menzel
• Wojciech Mostowski
• Aarne Ranta
• Angela Wallenburg
  

Address

Email: schlager@ira.uka.de
Phone: ++49 (0)721 608 4338
Fax: ++49 (0)721 608 4211

Building 50.34, Room 106

Links

• Java Language Specification (2nd Edition)
• Java 1.3.1 API 
• Recoder 0.72 API
• KeY API
• KeY Bugtracker
• KeY PRCS-Web
• KeY-Wiki