Rebecca Haehn
I am a PhD student in the DFG research training group UnRAVeL. My supervisors are Prof. Dr. Erika Ábrahám and Prof. Dr.-Ing. Nils Nießen. I am working on satisfiability checking for optimization of timetables in railway systems.
Publications
| 2022 | |
|---|---|
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Niklas Kotowski. 2022. 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 (Lecture notes in computer science, Vol. 13294). Springer, Cham, Switzerland, 46–62. |
| DOI Details | Rebecca Haehn. 2022. Optimisation and analysis of railway timetables under consideration of uncertainties. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| 2021 | |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2021. 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 (Lecture notes in computer science, Vol. 12846). Springer, Cham, Switzerland, 257–275. |
| Details | Niklas Kotowski. 2021. Accelerating symbolic simulation to analyze the effect of delays in train timetables. Master's thesis. RWTH Aachen University, Aachen. |
| 2020 | |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. 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 (Lecture Notes in Computer Science, Vol. 12040). Springer, Cham, 225–241. |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. 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) (OpenAccess Series in Informatics (OASIcs), Vol. 85). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 16:1–16:14. |
| Details | Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, and Helene-Maria Bolke-Hermanns. 2020. UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic. Technical Report. Aachen. |
| 2018 | |
| Details | Rebecca Haehn, Gereon Kremer, and Erika Ábrahám. 2018. 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 (CEUR workshop proceedings, Vol. 2189). RWTH-Aachen, Aachen, Germany, 19–32. |
| Show all | |