Abgeschlossene Arbeiten
Auf dieser Seite finde sie eine Übersicht über die am Lehrstuhl abgeschlossenen Bachelor- / Master- und Doktorarbeiten.
Auszeichnungen und Veröffentlichungen
Einige der am Lehrstuhl verfassten Bachelor- und Masterarbeiten haben direkt zu Veröffentlichungen geführt:
- NFM'2019, Jannik Dunkelau, Masterarbeit
- WFLP'2018, Alexandros Efremidis, Bachelorarbeit
- iFM'2018, Joshua Schmidt, Masterarbeit
- iFM'2018, Philipp Körner, Masterarbeit
- NFM'2018, Philipp Körner, Bachelorarbeit
- OOPSLA'2013, Lukas Diekmann, Masterarbeit
- SEFM'2013, Sebastian Krings, Masterarbeit
- iFM'2012, Dominik Hansen, Bachelorarbeit
- Software, Practice and Experience journal, Fabian Fritz, Masterarbeit
- LOPSTR'2010, PPDP'2010, Carl Friedrich Bolz
- FMICS'2009, Lukas Ladenberger
- WLPE'2008, Ian Endrijautzki
- B'2007, Jens Bendisposto
Doktorarbeiten
| Jahr | Autor | Titel |
|---|---|---|
| 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 |