Abgeschlossene Bachelor- und Masterarbeiten

 
Titel Autor Datum 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 Lindner, Jonas 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 Küspert, Tom 2019 Bachelor Marcel Hark
Improving Automated Complexity Analysis of Integer Programs Lommen, Nils 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 Freyer, Nils 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 Meyer, Fabian 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 Böller, Fabian 2018 Master Marcel Hark
Monotonicity in Markov Chains Jip Spel 2018 Master Sebastian Junges
Weighted Symmetric Model Counting for Two Variable Logic Schleifstein, Tobias 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