Programming Research Group

Ph.D. Theses

2018

• Matthias Hirzel: Regression Testing of Transcompiled Cross-Platform Applications

2016

• Johanna Schneider: Teilautomatisierte Identifikation von Ursachen von Laufzeitfehlern in Modellen (Cooperation with Daimler AG)

2014

• Hannes Holdschick: Beherrschung dynamischer Variantenmodelle für eingebettete Fahrzeugsysteme (Cooperation with Daimler)

2012

• Jan Scheible: Automatisierte Qualitätsbewertung am Beispiel von MATLAB Simulink-Modellen in der Automobil-Domäne (Cooperation with Daimler AG)

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

Jasminweg 21

72076 Tübingen

GERMANY