- Currently no open Theses
- If you are interested in a bachelor or master thesis, please ask.
- "Cache-Aware Procedure Placement at Compile-Time" by Maël Hörz (Supervisors: Sebastian Altmeyer and Gernot Gebhard)
- "Towards Shape Analysis of B-Trees" by Jörg Herter (Supervisor: Jan Reineke)
- "Generate C-Code from Abstract-VHDL" by Mohamed Abdel Maksoud (Supervisors: Marc Schlickling and Markus Pister)
- "Topology Analysis of Dynamic Communication Systems" by Peter Backes (Supervisor: Jan Reineke)
- "Parametric WCET Determination" by Sebastian Altmeyer and Christian Hümbert (Supervisor: Stephan Thesing)
- "A Pattern Matcher Generator for Retargetable Code Generation and Optimisation" by Gernot Gebhard (Supervisor: Philipp Lucas)