Supervised Dissertations

  • Thomas Witte: What you change is what you get – Using Provenance Tracking at Run-Time in Component-based Robotic Applications (Universität Ulm, 2024)
  • Raffaela Groner: User-Centered Performance Engineering of Model Transformations (Universität Ulm, 2023)
  • Stefan Höppner: Empirical Assessment of Advantages and Disadvantages of Model Transformation Languages (Universität Ulm, 2023)
  • Daniel Gall: Analysis of Cognitive Models in Constraint Handling Rule (Universität Ulm, 2021)
  • Katharina Juhnke: Improving the Quality of Automotive Test Case Specifications (Universität Ulm, 2020)
  • Dominik Gessenharter: Semantics Driven Translation of UML-Models into Object-Oriented Programing Languages (Universität Ulm, 2019)
  • Grischa Liebel: An Empirical Investigation of Using Models During Requirements Engineering in the Automotive Industry (Universität Göteborg, Schweden, 2018)
  • Uwe Pohlmann: A Model-Driven Software Construction Approach For Cyber-Physical Systems (Universität Paderborn, 2017)
  • Stefan Dziwok: Specification and Verification of Real-Time Coordination Protocols for Cyber-physical Systems (Universität Paderborn, 2017)
  • Alexander Nassal: Simulation von Softwareprojekten - Ein allgemeines Simulationsmodell für Planspiele zu Softwaretechnik und Projektmanagement (Universität Ulm, 2017)
  • Aya Hassan Saad: CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertainty (Universität Ulm, 2016)
  • Ekaterina Boutkova: Variantenmanagement in Anforderungsdokumenten für hochkomplexe und variantenreiche Produkte (Universität Ulm, 2014)
  • Hariolf Betz: A unified analytical foundation for Constraint Handling Rules (Universität Ulm, 2014)
  • Patrick Frey: A Timing Model for Real-Time Control-Systems and its Application on Simulation and Monitoring of AUTOSAR Systems (Universität Ulm, 2010)
  • Frank Raiser: Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis (Universität Ulm, 2010)
  • Ralf Gerlich: Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen (Universität Ulm, 2009)
  • Alexander Raschke: Zur automatischen Verifikation von UML 2 Aktivitätsdiagrammen (Universität Ulm, 2009)
  • Jens Kohlmeyer: Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2 (Universität Ulm, 2009)
  • Dietmar Kant: Analyse und Modellierung der Einflüsse bei der Verteilung von Applikationssoftware auf Basis einer zeitgesteuerten Architektur im Automobilbereich (Universität Ulm, 2008)
  • Marc Meister: Advances in Constraint Handling Rules (Universität Ulm, 2008)
  • Walter Guttmann: Algebraic Foundations of the Unifying Theories of Programming (Universität Ulm, 2007)
  • Stefan Sarstedt: Semantic Foundation and Tool Support for Model-Driven Development with UML 2 Activity Diagrams (Universität Ulm, 2006)
  • Ramin Tavakoli Kolagari: Requirements Engineering für Software-Produktlinien eingebetteter technischer Systeme (Universität Ulm, 2006)
  • Wolfgang Gehring: Leistungspunktesysteme an deutschen Universitäten - kritische Analyse und Ergebnisse einer summativen Evaluationsstudie (Universität Ulm, 2005)
  • Niko Kleiner: Verbesserungsstrategien für den Workflow-Designprozess (Universität Ulm, 2005)
  • Tobias Häberlein: Understanding Software Acquisition through Modeling and Simulation (Universität Ulm, 2004)
  • Michael Schwarz: Interaktionszentrierte Gestaltung von Infromationssystemen als anwenderorientierte Vorgehensweise zur Entwicklung und Präzisierung von Anforderungen (Universität Ulm, 2003)
  • Thilo Schwinn: Effiziente Software-Inspektion durch ein Rahmenwerk zur antizipativen Berücksichtigung des Return-on-Investment (Universität Ulm, 2003)
  • Holger Knublauch: An Agile Development Methodology for Knowledge-Based Systems Including a Java Framework for Knowledge Modeling and Appropriate Tool Support (Universität Ulm, 2002)
  • Joachim Schmid: Refinement and Implementation Techniques for Abstract State Machines (Universität Ulm, 2002)
  • Klaus Achatz: Systematische Modellbildung für Prozessautomatisierungssysteme (Universität Ulm, 2000)
  • Mark Dettinger: Erweiterte Compilierung von C/C++: Verbesserte Code-Optimierung durch Verwendung semantischer Zusatzinformation (Universität Ulm, 2000)
  • Frank Houdek: Empirisch basierte Qualitätsverbesserung: Systematischer Einsatz externer Experimente im Software Engineering (Universität Ulm, 1999)
  • Ton Vullinghs: Functional Abstractions for Imperative Actions (Universität Ulm, 1998)
  • Max Geerling: Transformational Development of Data-Parallel Algorithms (Universiteit Nijmegen, 1996)
  • Daniël Tuijnman: A Categorical Approach to Functional Programming (Universität Ulm, 1996)

Habilitations

  • Walter Guttmann: Algebras for Iteration, Infinite Executions and Correctness of Sequential Computations (Universität Ulm, 2015)
  • Wolfram Schulte: High-Integrity Compilation and Secure Execution of Java, (Universität Ulm, 2000)

Funding

A listing of the various options for funding PhD and postdoctoral positions can be found here.