Running Theses

Analysis of Inter-System Delays in Quantum-Classical Computing Co-Designs

Type: Master thesis
State: running
Supervisor: Wolfgang Mauerer, Ralf Ramsauer
Project: TAQO-PAM
Student: Andrej Utz

Formal Verification of Real-Time Systems Using Model-Based Quantification

Type: Master thesis
State: running
Supervisor: Wolfgang Mauerer
Student: Benno Bielmeier

Human Gait through Reinforcement Learning in Simulated Agents

Type: Bachelor thesis
State: running
Supervisor: Benno Bielmeier
Project: DInO
Student: Jonas Schmidt

Reduction of Virtual Memory Management Overhead: Exploration of Hardware Mechanisms for Second-Level Paging

Type: Bachelor thesis
State: running
Supervisor: Ralf Ramsauer
Student: Lukas Landgraf

Tailoring CPUs: Custom modifications of the Rocket-Chip Core in Chisel

Type: Bachelor thesis
State: running
Supervisor: Ralf Ramsauer
Student: Felix Wagner

Comparative Analysis of Tracing Mechanisms in Linux for Real-Time Systems

Type: Bachelor thesis
State: running
Supervisor: Benno Bielmeier
Student: Alexander Letaief