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 |