Seminare

Allgemeine Hinweise

• Hinweise zur Ausarbeitung
• Hinweise zum Vortrag
• Weitere Anmerkungen zu Ausarbeitung und Vortrag

Wintersemester 2005/06

• Global Computing
• Programmiersprachen (Proseminar)

Sommersemester 2005

• Validierung Stochastischer Systeme
• Modelling, Analysis, and Optimization of Object-Based Systems
• Programmanalyse und Compileroptimierung
• Petri-Netze (Proseminar)

Wintersemester 2004/05

• Message Sequence Charts
• Programmiersprachen (Proseminar)

Sommersemester 2004

• Logikprogrammierung
• Formal Models of Concurrency

Wintersemester 2003/04

• Analyse und Optimierung imperativer und funktionaler Programme
• Websprachen (Proseminar)

Sommersemester 2003

• Compilerbau

Wintersemester 2002/03

• Spezifikationssprachen für Verteilte Systeme

Sommersemester 2002

• Deklarative Programmiersprachen
• Message Sequence Charts

Wintersemester 2001/02

• Websprachen (Proseminar)
• Model Checking von Software

Sommersemester 2001

• Hierarchische Modelle und Verifikationsverfahren für verteilte Systeme

Wintersemester 2000/01

• Analyse und Optimierung von Programmen
• Programmiersprachen (Proseminar)

Sommersemester 2000

• Programmiersprachen und Verifikation

Wintersemester 1999/2000

• Programmierwerkzeuge unter Unix (Proseminar)

Sommersemester 1999

• Implementierungstechniken für Verifikationstools

Wintersemester 1998/99

• Mazurkiewics Traces
• Spezifikationssprachen (Proseminar)

Sommersemester 1998

• Funktionale Programmierung
• Programmiersprachen (Proseminar)

Wintersemester 1997/98

• Theorie Paralleler Prozesse

Sommersemester 1997

• Theorie objektorientierter Programmiersprachen und ihrer Typsysteme

Wintersemester 1996/97

• Semantik und Verifikation verteilter Systeme

Sommersemester 1996

• Prozeßkalküle