Completed Theses
| Topic | Author | Degree |
| Developing a robust communication system for a distributed IDS Link |
Jan Speckamp | Master |
| GAN based Network Traffic Generation for Communication Protocols used in SCADA Architectures Link | Gerrit Seifert | Master |
| Lokale Intrusion Prevention über eine simulations-basierte Validierung von Befehlen im Kontext von Smart Grids Link |
Daniel Krug | Bachelor |
| Anforderungsanalyse für ein verteiltes IDS und Entwicklung eines Prototypen auf Raspberry Pis Link | Kai Oliver Großhanten | Bachelor |
|
A hierarchical approach to monitoring SCADA networks Link |
Verena Menzel | Master |
| Entwicklung einer webbasierten Benutzerschnittstelle für einen Statistical Model Checker hybrider Petri Netze mit generellen Transitionen Link | Felix Ludwig | Bachelor |
| Comparison of SCADA protocols and implementation of IEC 104 and MQTT in Mosaik Link | Thomas Teodorowicz | Bachelor |
| Comparing and improving modular simulation approaches for SCADA | Christof Duhme | Bachelor |
| Vergleich und Implementierung von Hypothesentests für das statistische Model Checking Link | Fabian Edenfeld | Bachelor |
| Analyse intelligenter Haushaltsgeräte in Smart Homes zur Maximierung der Eigennutzung lokaler Stromproduktion Link | Anna-Lisa Linnemann | Bachelor |
| Vergleich der Parametric Reachability Analysis und der Region-based Analysis zur Untersuchung von Hybrid Petri nets with a general one-shot Transition (HPnG) anhand eines Fallbeispiels Link | Thore Thießen | Bachelor |
| Battery charge and discharge simulation on the basis of the Kinetic Battery Model | Sebastian Herbold | Bachelor |
| Development of an event-based simulator for model checking hybrid Petri nets with random variables Link | Carina Pilch | Master |
| Translating Model Checking of Hybrid Petri Nets into Operations on Nef Polyhedra Link | Adrian Godde | Master |
| Synthesis of smart appliances in smart homes with batteries to maximize self-use | Fabian Stein | Bachelor |
| Analyse sicherheitskritischer Aspekte eine Kläranlage mit Methoden des quantitativen Model Checkings Link | David Könning | Master |
| An overview on statistical model checking | Khao Vu | Bachelor |
| Energy storage in Smart Homes: Grid-convenience versus self-use Link | Jannik Hüls | Master |
| CSL Model Checking von QBDs in PRISM Link | Stefanie Drerup | Bachelor |
| Erreichbarkeit in QBDs mithilfe von MDP Abstraktion Link | Joanna Delicaris | Bachelor |
| Sequence Attacks on SCADA Systems Link | Benedikt Ferling | Bachelor |
| Effiziente Traversierung von Zustands Bäumen zur Prüfung von Wahrscheinlichkeitsgrenzen in Hybriden Petri Netzen Link | Christopher Distelkämper | Bachelor |
| Simulation von Hybriden Petri Netzen mit druckabhängigen Transitionen Link | Alexander Boesel | Bachelor |