Programmiersprachen und Übersetzer

Dissertationen

2018

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

2016

• Johanna Schneider: Teilautomatisierte Identifikation von Ursachen von Laufzeitfehlern in Modellen (Zusammenarbeit mit Daimler AG)

2014

• Hannes Holdschick: Beherrschung dynamischer Variantenmodelle für eingebettete Fahrzeugsysteme (Zusammenarbeit mit Daimler)

2012

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

2010

• Felix Werner: Vision-Based Topological Localization (Zusammenarbeit mit Queensland University of Technology)

2009

• Steffi Druckenmüller: Einsatz von multimedialer Kommunikation zur Optimierung und Qualitätssicherung der onkologischen Versorgung (Zusammenarbeit mit 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 (Zusammenarbeit mit DaimlerChrysler)

2003

• Ulrich Guddat: Automatisierte Tests von Telematiksystemen in Automobilen (Zusammenarbeit mit DaimlerChrysler)

2001

• Frank Gerhardt: Integrating Programming Environments for Platform Migration (Zusammenarbeit mit 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 (Zusammenarbeit mit Augenheilkunde II)

1991

• Peter Thiemann: Konzepte zur effizienten Implementierung strukturell rekursiver Programme

Adresse

Prof. Dr. Herbert Klaeren

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Jasminweg 21

72076 Tübingen

GERMANY

Anbieterkennung Last modified: Di 21 Nov 2023 12:19:02 CET