Abgeschlossene Promotionen

  Sektgläßer Urheberrecht: © Stefan Hense

Erfolgreich abgeschlossenen Promotionen im Rahmen des GRK UnRAVeL. 

 
Jahr Name Titel Related Projects
2023 Dr. Jip Spel

Monotonicity in Markov Models

 Dr. Sebastian Junges: Parameter synthesis in Markov models

Tobias Winkler: Programming and Verifying Uncertain Phenomena

2022 Dr. Daxin Liu Projection in a probabilistic epistemic logic and its application to belief-based program verification
2022 Dr. Rebecca Haehn

Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties

Jasper Nalbach: Algebraic Methods in SMT-Solving
Norman Weik: Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas
2022

Dr. Janosch Fuchs

Graph Exploration with Advice (and Online Crossing Minimization)

Dennis Fischer: Optimization under Uncertainty
Björn Tauer: The impact of coordination within transportation networks
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

2022 Dr. Matthias Volk Dynamic Fault Trees: Semantics, Analysis and Applications

Norman Weik: Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Stephan Zieger: Probabilistic Operating Concepts for Highly Automated and Autonomous Rail Vehicles in Rural Areas

2021 Dr. Martin Ritzert Learning on graphs with logic and neural networks
2021 Dr. Vipin Ravindran Vijayalakshmi Selfishness in strategic resource allocation problems
2021 Dr. Peter Lindner The theory of infinite probabilistic databases

Marcel Hark: Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs
Benjamin Kaminski: Advanced weakest precondition calculi for probabilistic programs
Tobias Winkler: Programming and Verifying Uncertain Phenomena

2021 Dr. Richard Wilke Reasoning about dependence and independence : teams and multiteams
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: Optimisation and Analysis of Railway Timetables 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
Dr. 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