Programming Research Group

Ph.D. Theses

Current

• Marcus Crestani: Concurrent Reactive Programming
• Matthias Hirzel: Selektive Regressionstests für Web-Anwendungen
• Hannes Holdschick: Wartbare Variantenmodellierung in Software-Produktlinien (Cooperation with Daimler)
• Darius Khodawandi: Lean Management in der Softwareentwicklung (Cooperation with Porsche Consulting)
• Jan Scheible: Automatisierte Qualitätsbewertung am Beispiel von MATLAB Simulink-Modellen in der Automobil-Domäne (Cooperation with Daimler AG)
• Joachim Schiele: Konzepte zur Unterstützung flexibler Live-Migration von Komponenten im Fahrzeug und mit dem Internet (Cooperation with Daimler AG)
• Mandeep Singh-Multani: A Hybrid Declarative Framework for Multi Agent Systems (HDFMAS)
• Julia Trieflinger: Reasoning about templates

2010

• Felix Werner: Vision-Based Topological Localization (Cooperation with Queensland University of Technology)

2009

• Steffi Druckenmüller: Einsatz von multimedialer Kommunikation zur Optimierung und Qualitätssicherung der onkologischen Versorgung (Cooperation with Universitäts-Frauenklinik Tübingen)

2008

• Mashud Kabir: A Universal Intelligent System for Fault Diagnosis in Automotive Applications
• Eric Knauel: A flow-analysis framework for realistic Scheme programs

2006

• Martin Gasbichler: Fully-Parameterized, First-Class Modules with Hygienic Macros

2005

• Holger Gast: A Generator for Type Checkers

2004

• Christian Wege: Interdependence between architecture evolution and development process evolution in agile methodologies (Cooperation with DaimlerChrysler)

2003

• Ulrich Guddat: Automatisierte Tests von Telematiksystemen in Automobilen (Cooperation with DaimlerChrysler)

2001

• Frank Gerhardt: Integrating Programming Environments for Platform Migration (Cooperation with DaimlerChrysler)

2000

• Michael Sperber: Computer-Assisted Lighting Design and Control

1999

• Johannes Busse: Attribution von Verantwortung durch Metaphernanalyse
• Andreas Speck: Objektorientierte Softwaretechnik für industrielle Steuerungssysteme

1998

• Martin Plümicke: Algebraische Beschreibung von Typklassen
• Christoph Schmitz: Objektorientierte Algebraische Spezifikationen

1994

• Friedemann Banhard: Objektorientierte Benutzersichten auf eine relationale Datenbank für ein klinisches Forschungs-Informationssystem und einen graph. Anfragegenerator (Cooperation with Augenheilkunde II)

1991

• Peter Thiemann: Konzepte zur effizienten Implementierung strukturell rekursiver Programme

Address

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Sand 13

D-72076 Tübingen

Germany

Fon:

+49 7071 29-78955

Fax:

+49 7071 29-5082