Theses

Open Theses

• Currently no open Theses
• If you are interested in a bachelor or master thesis, please ask.

Finished Theses

Bachlor Thesis

• "Cache-Aware Procedure Placement at Compile-Time" by Maël Hörz (Supervisors: Sebastian Altmeyer and Gernot Gebhard)

Master Thesis

• "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)

Diploma Thesis

• "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)