- Currently no open Theses
- If you are interested in a bachelor or master thesis, please ask.
- "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)