Jump label

Service navigation

Main navigation

You are here:

Sub navigation

  • Staff pages+

Main content

Teaching - Dr. Boris Düdder

Lecturer

Tutorials

Seminars

Supervised Theses

  • Krebin, Matthias: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops (Bachelorarbeit, 2016)
  • Sendzik, Daniel: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus (Bachelorarbeit, 2016)
  • Scholz, David: Entwicklung eines Domänenmodells zur Vorbereitung einer automatischen Synthese von Produktions- und Logistikprozessen mittels kombinatorischer Logik (Masterarbeit, 2016)
  • Kurth, Sebastian: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus (Masterarbeit, 2015)
  • Kotschenreuther, Fabian: Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus (Bachelorarbeit, 2014)
  • Gnitkowitz, Sebastian: Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus (Bachelorarbeit, 2013)
  • Plate, Steffen: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus(Bachelorarbeit, 2013)
  • Kubissa, Tobias: Komposition und Reorganisation von Anwendungsfragmenten zum Aufbau einer GUI nach dem Compositional Modelling Ansatz nach dem Compositional Modelling Ansatz (Diplomarbeit, 2012)
  • Wynen, Daan: Flexibles Packen durch gemischt-ganzzahlige lineare Programmierung (Bachelorarbeit, 2012)
  • Kölling, Daniela: Intervallbasierte Erweiterung eines Processmining Verfahrens (Diplomarbeit, 2011)
  • Oliana, Denis: Tourenplanung für haushaltsnahe Sammelprobleme mit Abholrhythmen (Diplomarbeit, 2011)
  • Schulze Bisping, Katharina: Protokoll-basierte Adaptersynthese für asynchrone Systeme (Diplomarbeit, 2010)
  • Harmuth, Nina: Business Process Model and Notation 2.0 – Evaluierung der Spezifikation und Ableitung einer formalen Semantik an ausgewählten Sprachelementen auf der Basis von Petri-Netzen (Diplomarbeit, 2010)
  • Vurankaya, Selvinaz: Preparation for Automatic Configuration of Dual Virtual I/O Server and client partitions on System p for AIX (Diplomarbeit, 2010)
  • Gerlach, Philip: Erweiterung eines logischen Process-Mining-Verfahrens zur Integration partieller Prozess-Spezifikationen (Diplomarbeit, 2009)