Notice: Due to planned maintenance, the website will be unavailable from 3:00 PM to 10:00 PM on Wednesday, February 11, 2026
We apologise in advance for any inconvenience that may be caused and thank you for your understanding.
To content
Department of Computer Science
Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).

Mario Günzel successfully defended his Dissertation.

© Copyright @ Michael Günzel
Mario Günzel successfully defended his Dissertation with Distinction (summa cum laude).

Mario Günzel successfully defended his Dissertation -  Property-Based Timing Analysis of Distributed Real-Time Systems - with Distinction (summa cum laude). 

The dissertation is available here: https://eldorado.tu-dortmund.de/items/5effe237-365b-4382-8410-4f05bf0f07f8