| Topic | Type | Student | Supervisor |
| Cache-Aware Procedure Placement at Compile-Time |
Bachelor Thesis |
Maël Hörz |
Sebastian Altmeyer
Gernot Gebhard
|
| Towards Shape Analysis of B-Trees |
Master's Thesis |
Jörg Herter |
Jan Reineke |
| Topology Analysis of Dynamic Communication Systems |
Diploma Thesis |
Peter Backes |
Jan Reineke |
| Generate C-Code from Abstract-VHDL |
Master's Thesis |
Mohamed Abdel Maksoud |
Marc Schlickling
Markus Pister
|
| Parametric WCET Determination |
Diploma Thesis |
Sebastian Altmeyer
Christian Hümbert |
Stephan Thesing |
| A Pattern Matcher Generator for Retargetable Code Generation and Optimisation |
Diploma Thesis |
Gernot Gebhard |
Philipp Lucas |