Theses
We offer Bachelor's and Master's thesis on latest research results. Visit us and we'll talk about a subject!
Past Master's Theses:
- Lasse Karls: Finding memory model related bugs in database applications. TU Braunschweig, 2025.
- Natalia Gacek: An Online Solver for Consistency as a Theory. TU Braunschweig, 2025.
- Johannes Schmechel: Concolic Execution of Multi-threaded Assembly Programs. TU Braunschweig, 2025.
- Finn Thieme: Parallelisierung von Bounded-Model-Checking-Verfahren über Kommunikationsconstraints. TU Braunschweig, 2022.
- Jan Steiner: tba. TU Braunschweig, 2021.
- René Maseli: Memory-Model-aware Static Analysis of Concurrent Programs. [PDF] TU Braunschweig, 2021.
- Christian Reineke: Timed Test Case Classification. TU Braunschweig, 2020.
- Thomas Haas: Probabilistic Programming: Applications of Martingales beyond Reachability. [PDF] TU Braunschweig, 2019.
- Sören van der Wall: Bounded Analysis of Concurrent and Recursive Programs. [PDF] TU Braunschweig, 2019.
- Pascal Baumann: tba. TU Braunschweig, 2019.
- Philip Holzhüter: Permissive Strategies for Perfect-Information Games. TU Braunschweig, 2018.
- Elisabeth Neumann: Algorithms for Context-free Games: A comparison of Saturation, Guess & Check and Summarization. [PDF] TU Kaiserslautern, 2017.
- Benjamin Eichler: Verification of Publish Subscribe Systems. TU Braunschweig, 2017.
- Mike Becker: Runtime Verification of Sequential Consistency for ARM. TU Braunschweig, 2017.
- Fajar Haifani: Antichain Optimizations using Simulation Relations for Context-Free Games. [PDF] TU Kaiserslautern, 2017.
- Martin Köhler: CEGAR for Regular Inclusion. TU Kaiserslautern, 2016.
- Mark Müller: Entwurf und Implementierung eines an IC3 angelehnten Verfahrens zur Prüfung von Inklusionsbeziehungen regulärer Sprachen. TU Kaiserslautern, 2016.
- Sebastian Wolff: Thread-Modular Reasoning for Heap-Manipulating Programs: Exploiting Pointer Race Freedom. [PDF]TU Kaiserslautern, 2015.
- Matteo Settenvini: Algorithmic analysis of name-bounded programs. TU Kaiserslautern, 2014.
- Susanne Göbel: A polynomial translation of mobile ambients into safe Petri nets. [PDF] TU Kaiserslautern, 2014.
- Florian Furbach: Automata-theoretic control for Total Store Ordering architectures. TU Kaiserslautern, 2013.
- Anselme Tueno: Verifikation von Netzwerkprotokollen mit Level-k-Baumersetzungssystemen. TU Kaiserslautern, 2011.
- Eike Möhlmann: Hiding relaxed semantics from a user - design and implementation of fence insertion algorithms for concurrent programs. LIAFA and University of Oldenburg, 2010.
- Sven Linker: Model checking pi-calculus against temporal connectedness properties. [PDF] University of Oldenburg, 2008.
- Tim Strazny: Entwurf und Implementierung von Algorithmen zur Berechnung von Petrinetz-Semantiken für Pi-Kalkül-Prozesse. [PDF] University of Oldenburg, 2007.
Past Bachelor's Theses:
- Theresa Stieler: Library Semantics Under Axiomatic Memory Models. TU Braunschweig, 2024.
- Nico Pietzsch: Finding memory safety bugs in fine-grained concurrent programs. TU Braunschweig, 2023.
- Dogukan Hizir: Bug-Explanation mit Dartagnan. TU Braunschweig, 2023.
- Benjamin Hennies: tba. TU Braunschweig, 2021.
- Jan Gruenke: tba. TU Braunschweig, 2021.
- Chek-Manh Loi: tba. TU Braunschweig, 2021.
- Edgar Schmidt: tba. TU Braunschweig, 2020.
- Frieso Gerken: tba. TU Braunschweig, 2020.
- Kai Harz: Good-for-Games Automaten: Ein Überblick. [PDF] TU Braunschweig, 2019.
- Stephan Lampe: TableauWiz: Ein Tool zur Visualisierung von Varianten der aussagenlogischen Tableau-Methode. TU Braunschweig, 2019.
- Sophie Ketelsen: Bedrohungs- und Risikoanalyse für den Einsatz von kryptographischem Schlüsselmaterial in kritischen Infrastrukturen am Beispiel der Datenübertragung in Bahnautomatisierungssystemen. TU Braunschweig, 2019.
- Thomas Graave: tba. TU Braunschweig, 2018.
- Janosch Reppnow: Compositional verification for Petri nets. TU Braunschweig, 2018.
- Nicolas Köcher: Automata-theoretic construction of semi-linear sets. TU Braunschweig, 2018.
- Volker Heberle: Simulation von Kellerautomaten, die das Ende der Eingabe erkennen, durch klassische Kellerautomaten und die Äquivalenz dieser Modelle. TU Braunschweig, 2017.
- Nadja Stachowiak: Splicing in Formal Language - a Survey. TU Braunschweig, 2017.
- Christian Reineke: Implementierung einer Testumgebung für Varianten des CYK-Algorithmus. TU Braunschweig, 2017.
- Felix Stutz: Operations on a Symbolic Domain for Synthesis. [PDF] TU Kaiserslautern, 2017.
- Jakob Wenzel: Symbolic Heaps for a Thread-Modular Linearizability Analysis. TU Kaiserslautern, 2016.
- Albert Schimpf: Development and Implementation of a Modular SAT-Solver Framework. [PDF] TU Kaiserslautern, 2016.
- Jonathan Kolberg: Relating Semantics. TU Kaiserslautern, 2015.
- Martin Köhler: Recognizability of rational sets. TU Kaiserslautern, 2014.
- Phoebe Buckheister: Parikh's theorem beyond pushdown automata. TU Kaiserslautern, 2013.
- Albert Schimpf: Wurzelberechnungen in Monoiden mit konvergenten Darstellungen. TU Kaiserslautern, 2013.
- Susanne Göbel: A logical characterisation of availability languages. [PDF] TU Kaiserslautern, 2011.
- Jan Bormann: A geometric approach to the coverability problem in linear while programs. TU Kaiserslautern, 2011.
- Philipp Gringel: Modellierung und Verifikation eines holonischen Transportsystems mit dem Pi-Kalkül. University of Oldenburg, 2007.
