Finished Theses

On this page you will find an overview of the completed PhD theses as well as a selection of completed bachelor's and master's theses.

Year	Author	Title
2023	Joshua Schmidt	New Applications and Techniques for Constraint Programming in B
2023	Philipp Körner	On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
2018	John Witulski	A Python B Implementation - PyB A Second Tool-Chain
2018	Ivaylo Dobrikov	Improving Explicit-State Model Checking for B and Event-B
2017	David Schneider	Constraint Modelling and Data Validation Using Formal Specification Languages
2017	Sebastian Krings	Towards Infinite-State Symbolic Model Checking for B and Event-B
2017	Lukas Ladenberger	Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems
2015	Daniel Plagge	Supporting Validation and Verification of State-Based Formal Models
2014	Jens Bendisposto	Directed and Distributed Model Checking of B Specifications
2012	Carl Friedrich Bolz	Meta-Tracing Just-In-Time Compilation for RPython
2012	Michael Jastram	The ProR Approach: Traceability of Requirements and System Descriptions
2011	Marc Fontaine	A Model Checker for CSPM
2009	Corinna Spermann	On symmetry reduction in model checking via graph canonicalisation

Year	Author	Title
2023	Jan Gruteser	Modeling and Verification of Railway Systems: Translation of RailML Into the B-Method
2023	Dominik Brandt	An Extendable Multi Programming Paradigm Code Generator for B
2022	Anne Brecklinghaus	A Jupyter Kernel for Prolog
2021	Alexandros Chrisovalantis Efremidis	A Translation of B Predicates to Answer Set Programming

Year	Author	Title
2023	Jakob Walter Handke	ClojureBlocks: Ein visueller Editor für Clojure
2023	Peter Jakob Julius Armbrüster	An Event-B Backend for lisb
2023	Vladimir Cabacov	A Planning Tool for Room Booking Management
2023	Davin Holten	Validierung von Reinforcement-Learning-Agenten mittels Trace-Analyse
2023	Fabian Faraz Farid	XAI unter Adversarial Attack: Evaluation von Erklärungen für manipulierte Eingaben
2023	Jeewon Lee	App zur Digitalisierung und Optimierung von Lagerarbeiten auf Basis des Outbound-Prozesses
2023	Christoph Ludolf	Runtime Evaluation of Data Structures in Prolog
2022	Julia Block	Optimization of chart parsing for tree grammars through additional factorization
2022	Philipp Klotzsche	OpenSpiel Anbindung an Prolog
2022	Dean Samuel Schmitz	Eine Machine-Learning-Bibliothek für Prolog
2019	Michelle Angela Werth	A Visualisation Plugin for ProB2-UI

Awards and Papers

Several of our bachelor's and master's theses have directly led to publications.

A list of these publications can be found here.