Rebecca Haehn


Doctoral researcher

Rebecca Hähn
Computer Science Departement, RTG UnRAVeL


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


Phone: +49 241 80 21243

Office Hours

Dissertation project
Satisfiability Checking for Optimization of Timetables in Railway Engineering 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: Railway Network Capacity Analysis for Strategic Planning
Präsentation: Rebecca Haehn

Publications related to UnRAVeL

Source Author(s)
UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 2020
Katoen, Joost-Pieter
Ritzert, Martin
Wilke, Richard
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