Abgeschlossene Promotionen

  Sektgläßer Urheberrecht: © Stefan Hense

Erfolgreich abgeschlossenen Promotionen im Rahmen des GRK UnRAVeL. 

 
Jahr Name Titel Related Projects
2021 Dr. Marcel Hark Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs

Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Peter Lindner: The Theory of Infinite Probabilistic Databases
Dominik Meier: Termination and Complexity Analysis of Probabilistic Programs

2021 Dr. Martin Comis Robust Primary Care Systems

Mariia Anapolska: Robust Appointment Scheduling in Hospitals
Christoph Grüne: Complexity and Algorithms in Optimization under Uncertainty
Tabea Krabs: Robust Hospital Management
Dr. Björn Tauer: The impact of coordination within transportation networks
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2021 Dr. Anton Pirogov

Determinization and ambiguity of classical and probabilistic Büchi automata

2020 Dr. Laura Vargas Koch Competitive variants of discrete and continuous flows over time

Janosch Fuchs: Special Online Problems with Advice
Dr. Björn Tauer: The impact of coordination within transportation networks
Tabea Krabs: Robust Hospital Management
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2020 Dr. Björn Tauer The impact of coordination within transportation networks

Dennis Fischer: Optimization under Uncertainty
Janosch Fuchs: Special Online Problems with Advice
Dr. Laura Vargas Koch: Competitive variants of discrete and continuous flows over time
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2020 Dr. Norman Weik Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability Nadine Friesen: Robust Infrastructure
Rebecca Haehn: Satisfiability Checking for Optimisation of Timetables in Railway Engineering under Consideration of Uncertainties
Matthias Volk: Dynamic Fault Trees: Semantics, Analysis and Applications
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
2020 Dr. Sebastian Junges

Parameter synthesis in Markov models

Dr. Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Jip Spel: Monotonicity in Parametric Markov Chains

2019 Dr. Stefan Schupp State set representations and their usage in the reachability analysis of hybrid

Till Hofmann: Robust Execution of Abstract Task Plans on Mobile Robots

2019 Dr. Benjamin Kaminski Advanced weakest precondition calculi for probabilistic programs Marcel Hark: Automated Runtime Analysis of Probabilistic Programs
Peter Lindner: The Theory of Infinite Probabilistic Databases
Tobias Winkler: Programming and Verifying Uncertain Phenomena
Stefan Schupp: State set representations and their usage in the reachability analysis of hybrid
2018 Dr. Stefan Wüller Privacy-preserving electronic bartering Andreas Klinger: Privacy Preserving Online Algorithms