Diese Seite dient zur Orientierung darüber, welche Themen zur Zeit durch wen bearbeitet werden bzw. in Planung sind. Interessierte Studierende sind dazu eingeladen, direkten Kontakt mit den Bearbeitern oder Betreuern aufzunehmen. Darüberhinaus geben auch die persönlichen Seiten der Mitarbeiter Auskunft über die jeweiligen Forschungsinteressen. Diese Liste ist nicht notwendigerweise vollständig. Bei den hier angegebenen Titeln handelt es sich generell um Arbeitstitel.

Master theses

• Lewe Andersen, Synthesis and Visualization of State Machines from Textual Behavior Descriptions in an Automotive Context
  Advisors: Alexander Schulz-Rosengarten, Steven Smyth
• Merlin Kötzing, Evaluation Framework for Reactive Code
  Advisor: Steven Smyth
• Lena Grimm, From Lustre to Graphical Dataflow Programs
  Advisor: Alexander Schulz-Rosengarten
• Andreas Stange, Model Checking for SCCharts
  Advisor: Alexander Schulz-Rosengarten, Steven Smyth

Bachelor theses

• Yannic Borgfeld, Tool Support for Layout Algorithm Development with ELK
  Advisor: Christoph Daniel Schulze
• Thies Weber, Improved Vertical Segment Routing for Sugiyama Layouts
  Advisor: Christoph Daniel Schulze
• Tammo Heilemann, From Tabular Specifications to SCCharts Models
  Advisor: Steven Smyth, Alexander Schulz-Rosengarten