Ältere Veranstaltungen

 Vorlesungen

• Formale Systeme (pdf-Datei, komprimierte pdf-Datei, Folien)
  Wahlpflichtvorlesung im Hauptstudium
  Version: Winter 2007/2008
  Seite zur Vorlesung und zu den Tutorien
• Formaler Entwurf und Verifikation von Programmen Skript (ps-Datei), Folien 2007, Buchkapitel
  Hauptdiplomvorlesung im Vertiefungsfach
  "Theoretische Grundlagen"
  Version: Sommer 2007
• Nichtklassische Logiken (ps-Datei, komprimierte ps-Datei, Folien (postscript), Folien (pdf))
  Hauptdiplomvorlesung im Vertiefungsfach
  "Theoretische Grundlagen"
  Version: Sommer 2004
• Informatik III (ps-Datei, komprimierte ps-Datei, Folien)
  Einführungsvorlesung im dritten Semester
  Version: Winter 1997/98
• Sprachen und Automaten (ps-Datei, komprimierte ps-Datei, Folien)
  Hauptdiplomvorlesung im Vertiefungsfach
  "Logik und theoretische Grundlagen"
  Version: Winter 1994/95

Seminare

• Seminar Konferenzseminar: Formale Verifikation und Spezifikation in mobilen Sensornetzwerken (WS 2007/2008)
• Seminar Theorie und Anwendung von Model Checking (SS 2007)
• Seminar Formale Software-Entwicklung (SS 2007)
• Seminar Formale Software-Entwicklung (SS 2006)
• Seminar Formale Software-Entwicklung (SS 2005)
• Seminar Formale Software-Entwicklung (SS 2004)
• Proseminar Modellierung von Software Systemen mit Logik (SS 2002)

Praktika

• Formale Entwicklung objektorientierter Software (WS 2007/2008)
• Formale Entwicklung objektorientierter Software (WS 2006/2007)
• Formale Entwicklung objektorientierter Software (WS 2005/2006)
• Formale Entwicklung objektorientierter Software (WS 2004/2005)
• Formale Entwicklung objektorientierter Software (WS 2003/2004)
• Formale Entwicklung objektorientierter Software (WS 2002/2003)
• Digitale Signaturen in der Anwendung: Ein Projekt in formaler Modellierung (WS 2001/2002)
• Formale Entwicklung objektorientierter Software (SS 2001)
• Entwicklung von Java Card-Applets (WS 2000/2001)