Completed Bachelor and Master Theses
| Title | Author | Date | Master or Bachelor | Supervisor |
|---|---|---|---|---|
| Analyzing the external costs of different means of transport | Karthik Mangalore Jayanth | 2022 | Master | Nadine Friesen |
| Analyse von Maßnahmen zur Verlagerung des Personenverkehrs auf die Schiene | Simon Habermann | 2022 | Bachelor | Nadine Friesen |
| Analyse von Maßnahmen zur Klimaanpassung an Schienenverkehrsstrecken | Alexandra Benz | 2022 | Bachelor | Nadine Friesen |
|
Whole-Body Manipulation on Mobile Robots Using Parallel Position-Based Visual Servoing |
Matteo Tschesche |
2022 | Master | Till Hofmann |
| Congestion phenomena in railways | Upendra Pravin Atre | 2021 | Master | Nadine Friesen |
| Analyse des Anschlusses der Strecke Ibbenbüren – Lengerich an das Netz der DB Netz AG | Paul Kloos | 2021 | Bachelor | Nadine Friesen |
| Analyse des Ausbaubedarfs des Knotens Grevenbroich | Sarah Dauth | 2021 | Bachelor | Nadine Friesen |
|
Goal Reasoning with the CLIPS Executive in ROS2 |
Ivaylo Doychev | 2021 | Bachelor | Till Hofmann |
| Centralized Goal Reasoning And Scheduling Using Mixed Integer Programming for RoboCup Logistics League | Mostafa Gomaa | 2020 | Bachelor | Till Hofmann |
| Sharing Promises and Requests in Multi-Agent Goal Reasoning for Logistics Robots | Daniel Swoboda | 2020 | Master | Till Hofmann |
| A comparison of minimization techniques for finite automata | Chantal Reinartz Groba | 2020 | Bachelor | Anton Pirogov |
| Comparing different representations of deterministic parity automata | Jan Uthoff | 2020 | Master | Anton Pirogov |
| Implementation and Evalutation of a Hierarchical and Dynamic Threshold Paillier Cryptosystem | Jan Richter | 2020 | Master | Andreas Klinger |
| Logical Structure of Probabilitistic Databases | Jonas Lindner | 2020 | Bachelor | Peter Lindner |
| Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints | Tarik Viehmann | 2019 | Master | Till Hofmann |
| Analyse des Gruppenauswahlproblems | Moritz Rösgen | 2019 | Bachelor | Bjoern Tauer |
| A comparison of algorithms for automata learning on sparse data | Caspar David Zecha | 2019 | Bachelor | Anton Pirogov |
| Computing Expected Runtimes for Sub-Classes of Probabilistic Programs | Tom Küspert | 2019 | Bachelor | Marcel Hark |
| Improving Automated Complexity Analysis of Integer Programs | Nils Lommen | 2019 | Bachelor | Marcel Hark |
| Combined Detection of Trade Cycles and Trade Chains for Privacy-Preserving Bartering | Malte Breuer | 2019 | Master | Andreas Klinger |
| Implementation and Evaluation of a Zero-Knowledge Proof for Discrete Logarithm Equality and a Zero-Knowledge Range Proof | Felix Battermann | 2019 | Bachelor | Andreas Klinger |
| Implementation and Evaluation of a Linear Optimization Approach to Ridepooling | Luis Laas | 2019 | Bachelor | Bjoern Tauer |
| Multi Source Oligopolistic Packet Routing | Maximilian Moser | 2019 | Bachelor | Bjoern Tauer |
| Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobiel Robots | Daniel Habering | 2019 | Master | Till Hoffmann |
| Formalising Social Choice Theorems in Team Semantics | Maksim Rotmann | 2019 | Bachelor | Richard Wilke |
| Connections between Separation Logic and Team Semantics | Darion Haase | 2019 | Bachelor | Richard Wilke |
| Statistical Repositioning of Dynamic Dial-a-Ride Fleet Management in MATSim | Marc Hermans | 2019 | Bachelor | Bjoern Tauer |
| Modelling and analysis of capacity, throughput and sojourn times in Railway Station Areas. | Malte Schmidt | 2019 | Master | Norman Weik |
| Logical Characterisation of Pseudo-Deterministic Algorithms | Marcel Strohmann | 2019 | Bachelor | Richard Wilke |
| Ermittling von k-kürzesten Wegen im Schienenverkehr zwischen Aachen und Köln | Süleyman Yetim | 2019 | Bachelor | Rebecca Haehn |
| Probabilistic IC3 | Kevin Batz | 2019 | Master | Benjamin Kaminski |
| Towards Completeness of a New Proof Rule for Almost-sure Termination | Sonja Skiba | 2019 | Bachelor | Benjamin Kaminski |
| Hardness of Probabilistic Termination with Nondeterminism | David Herzkamp | 2019 | Bachelor | Benjamin Kaminski |
| Weakest Preexpectation Reasoning for Amortized Expected Runtimes | Lena Verscht | 2019 | Bachelor | Benjamin Kaminski |
| Representations of Correlated Probabilistic Databases | Nils Freyer | 2019 | Bachelor | Peter Lindner |
| Reachability analysis of compositional hybrid systems | Daniel Cloerkes | 2019 | Master | Stefan Schupp |
| Application of formal methods in autonomous vehicle control | Niklas Kotowski | 2019 | Bachelor | Stefan Schupp |
| Integration of Hybrid Systems Verification Methods in Matlab | Marta Grobelna | 2019 | Master | Stefan Schupp |
| Stochastic Performance Modelling of Railway Station Areas | Malte Schmidt | 2019 | Master | Stephan Zieger |
| Dial-a-Ride for Railway Traffic | Christoph Grüne | 2019 | Master | Stephan Zieger |
| A Concept of Expected Size for an Automated Runtime Analysis of Probabilistic Integer Programs | Fabian Meyer | 2018 | Bachelor | Marcel Hark |
| Trassenplanung im Gelegenheitsverkehr ‑ Zuweisung von Restkapazitäten mittels dynamischem Routing / Train routing of short term train requests ‑ A dynamic routing approach for the assignment of residual network capacity | Emma Hemminki | 2018 | Master | Norman Weik |
| Optimierte Dienstplanerstellung in Arztpraxen unter Berücksichtigung von internen Qualifikationsaßnahmen | Julian Penczek | 2018 | Master | Martin Comis |
| Spectral Graph Similarity | Timo Gervens | 2018 | Master | Martin Ritzert |
| Provenance Analysis for Temporal and Dynamic Logics | Lovro Mrkonjic | 2018 | Bachelor | Katrin Dannert |
| Makespan Minimization in Competitive Packet Routing with Priority Lists | Nils Goeritz | 2018 | Master | Bjoern Tauer |
| Analysing Dynamic Fault Trees by GSPNs | Alexander Bork | 2018 | Bachelor | Matthias Volk |
| Graph autoencoders | Florian Behrens | 2018 | Bachelor | Martin Ritzert |
| Earliest Arrival Flows | Angelina Jansen | 2018 | Bachelor | Bjoern Tauer |
| Standards in der Zuverlässigkeitsanalyse und deren Anwendung auf Eisenbahnanlagen / Standards in reliability analysis and their application to railway systems | Marcel Schäfer | 2018 | Bachelor | Norman Weik |
| Implementing an Incremental Solver for Difference Logic (together with Gereon Kremer) | Christopher Lösbrock | 2018 | Bachelor | Matthias Volk |
| Schichteinsatzplanung für mobile Arztpraxen - Komplexität und exakte Lösungsansätze | Mariia Anapolska | 2018 | Bachelor | Martin Comis |
| Non-Monotonic Bounds for Complexity Analysis of Integer Programs | Fabian Böller | 2018 | Master | Marcel Hark |
| Monotonicity in Markov Chains | Jip Spel | 2018 | Master | Sebastian Junges |
| Weighted Symmetric Model Counting for Two Variable Logic | Tobias Schleifstein | 2018 | Bachelor | Peter Lindner |
| Using eigenvalue decomposition in hybrid systems reachability analysis | Jan Hafer | 2018 | Bachelor | Stefan Schupp |
| Comparing the expressivity and usabiliy of hybrid systems’ modeling languages | Sabrina Kielmann | 2018 | Master | Stefan Schupp |
| Using simulation for counterexample validation in hybrid systems reachability analysis | Lyudmila Vatskicheva | 2018 | Bachelor | Stefan Schupp |
| Context-dependent reachability analysis for hybrid automata | Justin Winkens | 2018 | Master | Stefan Schupp |
| Hierachical Dynamic Threshold Paillier Cryptosystem without Trusted Dealer | Andreas Klinger | 2018 | Master | Stefan Wüller |
| Designing and Implementing Efficient Variants of Privacy-Preserving Conditional Random Selection | Justus Ungerechts | 2018 | Bachelor | Stefan Wüller |
| Privacy-Preserving Identifiaction of Trade Chains in Barter Exchange Markets | Malte Breuer | 2018 | Bachelor | Stefan Wüller |
| Bestelleingangsprüfung im Prozess der Digitalen Kapazitätssteigerung | Xiabingqing Wu | 2018 | Master | Stephan Zieger |
| Analyse der Modellierung von Einbruchsverspätungen im Eisenbahnwesen | Felix Lampe | 2018 | Master | Stephan Zieger |
| Bringing Privacy-Preserving Multi-Party Bartering to Practice | Benjamin Assadsolimani | 2017 | Master | Stefan Wüller |