Eberhard Karls Universität, Tübingen      
Wilhelm-Schickard-Institut Schickard-Maschine
         
         
         
viewable with any
browser
     

Programming Research Group

Ph.D. Theses

Current

  • Marcus Crestani: Concurrent Reactive Programming
  • Matthias Hirzel: Selektive Regressionstests für Web-Anwendungen
  • Darius Khodawandi: Lean Management in der Softwareentwicklung (Cooperation with Porsche Consulting)
  • Mandeep Singh-Multani: A Hybrid Declarative Framework for Multi Agent Systems (HDFMAS)
  • Julia Trieflinger: Reasoning about templates

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

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

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

Prof. Herbert Klaeren Anbieterkennung
Last modified: Tue Oct 11 12:53:53 CEST 2016