Rebecca Hähn



Rebecca Haehn

Ehem. assoziierte Promotionsstudentin


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
Gender and Diversity
Steering Committee

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


Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
Optimisation and analysis of railway timetables under consideration of uncertainties, 2022
[DOI: 10.18154/RWTH-2022-10063]
Haehn, Rebecca
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
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.
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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
[Buchbeitrag, Beitrag zu einem Tagungsband]
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