Finished Theses
On this page you find a list of the bachelor, master and PhD theses already finished.
Awards and Papers
Several of our bachelor's and master's theses have directly led to publications:
- NFM'2019, Jannik Dunkelau, Master's thesis
- WFLP'2018, Alexandros Efremidis, Bachelor's thesis
- iFM'2018, Joshua Schmidt, Master's thesis
- iFM'2018, Philipp Körner, Master's thesis
- NFM'2018, Philipp Körner, Bachelor's thesis
- OOPSLA'2013, Lukas Diekmann, Master's thesis
- SEFM'2013, Sebastian Krings, Master's thesis
- iFM'2012, Dominik Hansen, Bachelor's thesis
- Software, Practice and Experience journal, Fabian Fritz, Master's thesis
- LOPSTR'2010, PPDP'2010, Carl Friedrich Bolz
- FMICS'2009, Lukas Ladenberger
- WLPE'2008, Ian Endrijautzki
- B'2007, Jens Bendisposto
PhD Theses
| Year | Author | Title |
|---|---|---|
| 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 | Sebastian Krings | Towards Infinite-State Symbolic Model Checking for B and Event-B |
| 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 |