Rebecca Hähn

Person

Dr.

Rebecca Haehn

Computer Science Departement, RTG UnRAVeL

Former associated doctoral researcher

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

 
Dissertation project
Optimisation and Analysis of Railway Timetables under Consideration of Uncertainties
Collaborations
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
Engagement
Gender and Diversity
Steering Committee
Talks
Bi-Weekly Talk: Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies
Bi-Weekly Talk: Railway Network Capacity Analysis for Strategic Planning
Präsentation: Rebecca Haehn
 

Publications related to UnRAVeL

Source Author(s)
[Dissertation / PhD Thesis]
Optimisation and analysis of railway timetables under consideration of uncertainties, 2022
[DOI: 10.18154/RWTH-2022-10063]		Haehn, Rebecca
[Contribution to a book, Contribution to a conference proceedings]
Acceleration Techniques for Symbolic Simulation of Railway Timetables
In: Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022, proceedings / Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.), 46-62, 2022
[DOI: 10.1007/978-3-031-05814-1_4]		Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Kotowski, Niklas
[Contribution to a book, Contribution to a conference proceedings]
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
In: Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23-27, 2021 : Proceedings / Alessandro Abate, Andrea Marin (Eds.), 257-275, 2021
[DOI: 10.1007/978-3-030-85172-9_14]		Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Report]
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020		Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard Marlon
Dannert, Katrin M.
Lindner, Peter
et al.
[Contribution to a book, Contribution to a conference proceedings]
Probabilistic Simulation of a Railway Timetable
In: 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2020, September 7-8, 2020, Pisa, Italy (virtual conference) / edited by Dennis Huisman, Christos D. Zaroliagis, 16:1-16:14, 2020
[DOI: 10.4230/OASICS.ATMOS.2020.16]		Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Freight Train Scheduling in Railway Systems
In: Measurement, modelling, and evaluation of computing systems : 20th International GI/ITG Conference, MMB 2020 : Saarbrücken, Germany, March 16-18, 2020 : proceedings / Holger Hermanns (Ed.), 225-241, 2020
[DOI: 10.1007/978-3-030-43024-5_14]		Haehn, Rebecca (Corresponding author)
Ábrahám, Erika
Nießen, Nils
[Contribution to a book, Contribution to a conference proceedings]
Evaluation of Equational Constraints for CAD in SMT Solving
In: Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 / edited by Anna M. Bigatti (Dipartimento di Matematica, Università degli Studi di Genova, Genova, Italy), Martin Brain (Department of Computer Science, University of Oxford, Oxford, UK ), [19]-32, 2018		Haehn, Rebecca
Kremer, Gereon
Ábrahám, Erika