| Title |
Author |
Date |
Master or Bachelor |
Supervisor |
| 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 Hoffmann |
| 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 |