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.
Christian Schulz. “Rounding in the Reduction of Acyclic Phase-Type Distributions”. 2022. Bachelor’s Thesis.
Yannick Schording. “Visualizing Satellites in Augmented Reality Using the HoloLens”. 2022. Bachelor’s Thesis.
Yannik Schnitzer. “On the Robustness of Neural Network Decisions”. 2022. Bachelor’s Thesis.
Simon Rink. “Towards Unified Opportunistic and Uncertain DTN Routing”. 2022. Bachelor’s Thesis.
Sebastian Holler. “Sound Ethereum Bytecode Dependency Analysis”. 2021. Bachelor’s Thesis.
Muhammad Sohaib Arshid. “Improving the Performance of Static Analysis Tools Using Machine Learning”. 2021. Master’s Thesis.
Tobias Gürtler. “Semantics and Evaluation of SD-Fault Trees”. 2021. Bachelor’s Thesis.
Jana Schmidt. “Battery-Aware Contact Planning for Satellite Constellations”. 2021. Master’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.
Lars Schieffer. “JANI2PINS: The JANI Front-end Module for the LTSmin Toolset”. 2020. Master’s Thesis.
Oliver Jank. “ML-Based Classification of Mathematical Properties in Images”. 2020. Master’s Thesis.
Nikolai Käfer. “A General Framework for Probabilistic Abstract Argumentation”. 2020. Master’s Thesis.
Ali Maqsood. “Towards Standardization of IP-Based Large Scale Building Automation”. 2019. Master’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.
Lars Schieffer. “Numeric Representation of Probability Density Functions”. 2018. Bachelor’s Thesis.
Timo Speith. “Towards a Framework of Verifiable Machine Ethics and Machine Explainability”. 2018. Master’s Thesis.
Rieke de Maeyer. “Markov Chains in Superdense Time”. 2018. Bachelor’s Thesis.
Konstantin Kopper. “Interacting with Concurrent Programs: An IDE for the pseuCo Programming Language”. 2018. Bachelor’s Thesis.
Michaela Klauck. “Bridging Concurrency Models to Probabilistic Planning and Implementing FRET-π LRTDP in the Modest Toolset”. 2018. Master’s Thesis.
Yuliya Butkova. “Discounted Markov Automata”. 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.
Timo Philipp Gros. “Markov Automata taken by Storm”. 2018. Master’s Thesis.
Nick Fischer. “Axiomatising Infinitary Probabilistic Weak Bisimilarity of Finite-State Behaviours”. 2017. Bachelor’s Thesis.
Nikolai Käfer. “A Tool for Quantitative Analysis of Static and Dynamic Fault Trees”. 2017. Bachelor’s Thesis.
Marius Hollinger. “Solving Dependency Quantified Boolean Formulas Using Symbolic Skolemization”. 2016. Master’s Thesis.
Jens Heinen. “Unidex: Ein Vergleichstool für Informatikfakultäten basierend auf dem h-Index”. 2016. Bachelor’s Thesis.
Rebecca Eifler. “From PTRebeca to Modest”. 2016. Bachelor’s Thesis.
Umangathan Kandasamy. “Termination of Unif+”. 2016. Bachelor’s Thesis.
Marius Mosbach. “Mocora – Cost-Optimal Reachability for Priced Timed Automata”. 2016. Bachelor’s Thesis.
Marvin Stenger. “Energy-Aware Schedule Synthesis for GOMX-3 using Linear Priced Timed Automata”. 2016. Bachelor’s Thesis.
Lisa Marie Detzler. “Model-Based Testing of Asynchronous Systems”. 2016. Master’s Thesis.
Pascal Held. “Static Data Race Detection for pseuCo Programs”. 2016. Bachelor’s Thesis.
Michael Bungert. “Implementing and Analyzing Generally-Timed Energy SADF”. 2016. Master’s Thesis.
Julia Krämer. “Attac-Defence Graphs: On the Formalisation of Security-Critical Systems”. 2015. Master’s Thesis.
Seyed Mehdi Khodadad Hosseini. “May DDC Destabilize the Grid?”. 2015. Master’s Thesis.
Matthias Hennemann. “Distributed Statistical Model Checking for Modest”. 2015. Bachelor’s Thesis.
Marius Hollinger. “Model-Based Testing for the Modest Modeling Language”. 2014. 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.
Markus Hoffmann. “A Graphical Automata Frontend on Mobile Devices for the Modest Toolset”. 2014. Master’s Thesis.
Lisa Marie Detzler. “PseuCo meets Java – Code Generation and Execution”. 2014. Bachelor’s Thesis.
Philipp Hermann. “Some Random Deliberations on the Coincidence Factor”. 2014. Bachelor’s Thesis.
Michael Bungert. “Android App for Minimization of Acyclic Phase-Type Distributions”. 2013. Bachelor’s Thesis.
Sebastian Biewer. “A Compiler for PseuCo to CCS”. 2013. Bachelor’s Thesis.
Alexander Graf-Brill. “Model-based Testing Approaches for the EnergyBus”. 2013. Master’s Thesis.
Michael Brengel. “Probabilistic Weak Transitions”. 2013. Bachelor’s Thesis.
Thomas Karos. “Deciding Weak Bisimulation on Probabilistic Automata”. 2013. Bachelor’s Thesis.
Pascal Berrang. “Stabilising Power Micro Grids”. 2013. Bachelor’s Thesis.
Markus Hoffmann. “Implicit and Explicit Stochastic Semantics for Timed Automata in UPPAAL and Modest”. 2013. Bachelor’s Thesis.
Julia Krämer. “State vs. Action-based Temporal Logics for Probabilistic Automata”. 2013. Bachelor’s Thesis.
Sascha Zickenrott. “A Formal Comparison of Speculative Memory Models”. 2013. Bachelor’s Thesis.
Lars Hendrik Reiter. “Simulation and Cost Optimization of the Power Balance in Electricity Systems”. 2012. Master’s Thesis.
Christian Josef Köhl. “Probabilistische Aspekte: AspectKP – Ein Verteiltes Prozesskalkül”. 2012. Bachelor’s Thesis.
Felix Klein. “Message Distribution in Wireless Sensor Networks using a Flooding Approach”. 2012. Bachelor’s Thesis.
Alexander Graf-Brill. “Testing the Hydac Case”. 2011. Bachelor’s Thesis.
Hazem Torfah. “Sound Logics for Weak Bisimulation Semantics”. 2010. Bachelor’s Thesis.
Sascha Maaß. “Translating Arcade Models Into MoDeST Code”. 2010. Bachelor’s Thesis.
Fabian Bendun. “Approximation of Bisimulation in Probabilistic Metric Systems”. 2010. Bachelor’s Thesis.
David Spieler. “Model Checking of Oscillatory and Noisy Periodic Behavior in Markovian Population Models”. 2009. Master’s Thesis.
Susanne Klein. “Smart Ordering for Compositional Aggregation”. 2009. Bachelor’s Thesis.
Arnd Hartmanns. “A Modest Checker for Probabilistic Timed Automata”. 2009. Master’s Thesis.
Jonathan Bogdoll. “An Experimental Evaluation of Probabilistic Simulation”. 2009. Bachelor’s Thesis.
Markus Rabe. “Towards Model Checking of Distributed Probabilistic Systems”. 2008. Bachelor’s Thesis.
David Spieler. “Scope-based FCT-Handling in WS-BPEL 2.0”. 2008. Bachelor’s Thesis.
Kurnia Hendrawan. “Simulation of MoDeST-Models”. 2008. Bachelor’s Thesis.
Kai Mittermüller. “Modellierung einer Speicherladeschaltung”. 2008. Bachelor’s Thesis.
Ernst Moritz Hahn. “Parametric Markov Model Analysis”. 2008. Master’s Thesis.
Jens Becker. “Uppaal Guider – Suchraumverkleinerung in Uppaal”. 2008. Bachelor’s Thesis.
Vasileios Anastasatos. “Energy-Aware Wireless Sensor Network Models in MoDeST”. 2008. Bachelor’s Thesis.
Christian Eisentraut. “Complete Completeness for Weak Bisimulation Semantics”. 2007. Master’s Thesis.
Arnd Hartmanns. “Value Passing in MoDeST”. 2007. Bachelor’s Thesis.
Christophe Boutter. “An Eclipse Plugin for MoDeST”. 2007. Diplomarbeit.
Christian Groß. “Dienstgüte und Energieverbrauch in IEEE 802.15.4 und ZigBee”. 2006. Diplomarbeit.
Christian Eisentraut. “Strongly Convergent Weak Bisimulation Congruence”. 2006. Bachelor’s Thesis.
Christoph Clodo. “Deriving Parameters from Internet Traces and Analysis of Their Influence on Performance”. 2005. Diplomarbeit.
Lijun Zhang. “Logic and Model Checking for Hidden Markov Models”. 2004. Diplomarbeit.