Bachelor / Master Theses

We have a variety of Bachelor and Master theses topics to offer. Just get in touch with one of us by email or come along for a chat.

The group is a notorious source of award winning Bachelor and Master theses:

Christian Eisentraut	FdSI Bachelor Award
David Spieler	Günter Hotz Medal
Fabian Bendun	FdSI Bachelor Award
Julia Krämer	FdSI Bachelor Award
Kathrin Stark	FdSI Bachelor Award
Gereon Fox	FdSI Bachelor Award
Julia Krämer	Günter Hotz Medal
Nick Fischer	FdSI Bachelor Award
Michaela Klauck	Günter Hotz Medal

Completed Theses

Below is a selection of completed student projects at our chair.

Dominic Zimmer. “Understanding pseuCo – Visualization of Nested-Unit Colored Petri Nets”. 2023. Master’s Thesis.
Kevin Müller. “Building Contact Graphs for Large-scale Constellations”. 2023. Bachelor’s Thesis.
Mei Chen. “LolaDrives for iOS”. 2022. Master’s Thesis.
Aaron Bies. “Fitting Acyclic Phase-Type Distributions with Structural Constraints”. 2022. Bachelor’s Thesis.
Yannick Schording. “Visualizing Satellites in Augmented Reality Using the HoloLens”. 2022. Bachelor’s Thesis.
Sebastian Holler. “Sound Ethereum Bytecode Dependency Analysis”. 2021. Bachelor’s Thesis.
Tobias Gürtler. “Semantics and Evaluation of SD-Fault Trees”. 2021. Bachelor’s Thesis.
Govinda Sicheneder. “Time-bound Latency for Bluetooth Low Energy and Isochronous Channels in a Time-Critical Bicycle Application”. 2021. Master’s Thesis.
Alexander Haberl. “The Power of a Satellite”. 2021. Bachelor’s Thesis.
Lena Becker. “Model Checking pseuCo”. 2020. Bachelor’s Thesis.
Johannes Schulz. “Crowdsourcing Diesel Emissions Data”. 2019. Bachelor’s Thesis.
Mei Chen. “A Java/JVM-Level Debugger for pseuCo”. 2019. Bachelor’s Thesis.
Fabian Kosmale. “M3: Memory Models Made Easy”. 2019. Master’s Thesis.
Henrik Philippi. “A Detailed Look into CO₂MPAS”. 2018. Bachelor’s Thesis.
Michaela Klauck. “Bridging Concurrency Models to Probabilistic Planning and Implementing FRET-π LRTDP in the Modest Toolset”. 2018. Master’s Thesis.
Gregory Stock. “A Modest Approach to Satellite Operation”. 2018. Bachelor’s Thesis.
Nora Muscholl. “Satellites Modulo Theories”. 2018. Bachelor’s Thesis.
Konstantin Kopper. “Interacting with Concurrent Programs: An IDE for the pseuCo Programming Language”. 2018. Bachelor’s Thesis.
Gereon Fox. “Interactive Visualization of Proof Graphs”. 2014. Bachelor’s Thesis.
Felix Freiberger. “Interactive Visualization and Minimization of Labelled Transition Systems”. 2014. Bachelor’s Thesis.
Kathrin Stark. “Quantitative Recursion-Free Process Axiomatization in Coq”. 2014. Bachelor’s Thesis.
Sebastian Biewer. “A Compiler for PseuCo to CCS”. 2013. Bachelor’s Thesis.