Rebecca Haehn

Email
haehn at cs.rwth-aachen.de
Phone
+49 241 80 21243
Address
Room 4228
Ahornstraße 55
D-52074 Aachen

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.

 

2022
DOI [bibtex]
@conference{ATSSRT2022,
title = {Acceleration Techniques for Symbolic Simulation of Railway Timetables},
author = {Rebecca Haehn and Erika Ábrahám and Niklas Kotowski},
publisher = {Springer},
booktitle = {LNCS},
volume = {13294},
pages = {46-62},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-05814-1_4},
url = { https://publications.rwth-aachen.de/record/850270},
}×
[issue] 		Rebecca Haehn, Erika Ábrahám, Niklas Kotowski. Acceleration Techniques for Symbolic Simulation of Railway Timetables, 4th International Conference on Reliability, Safety and Security of Railway Systems (RSSRail), Volume 13294 of LNCS, 46-62, Springer, 2022.
2021
DOI [bibtex]
@conference{SSRTUCSD2021,
title = {Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12846},
pages = {257-275},
type = {Conference Paper},
year = {2021},
doi = {10.1007/978-3-030-85172-9_14},
url = { https://publications.rwth-aachen.de/record/825264},
}×
[issue] 		Rebecca Haehn, Erika Ábrahám, Nils Nießen. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies, 18th International Conference on Quantitative Evaluation of SysTems (QEST 2021), Volume 12846 of LNCS, 257-275, Springer, 2021.
2020
DOI [bibtex]
@conference{FTSRS2020,
title = {Freight Train Scheduling in Railway Systems},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Springer},
booktitle = {LNCS},
volume = {12040},
pages = {225-241},
type = {Conference Paper},
year = {2020},
doi = {10.1007/978-3-030-43024-5_14},
url = { https://publications.rwth-aachen.de/record/789633},
}×
[issue] 		Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, 20th International Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
DOI fulltext PDF [bibtex]
@conference{PSRT2020,
title = {Probabilistic Simulation of a Railway Timetable},
author = {Rebecca Haehn and Erika Ábrahám and Nils Nießen},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {OpenAccess Series in Informatics (OASIcs)},
volume = {85},
pages = {16:1-16:14},
type = {Conference Paper},
year = {2020},
doi = {10.4230/OASICS.ATMOS.2020.16},
url = { https://publications.rwth-aachen.de/record/807139},
}×
[issue] 		Rebecca Haehn, Erika Ábrahám, Nils Nießen. Probabilistic Simulation of a Railway Timetable, 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020), Volume 85 of OpenAccess Series in Informatics (OASIcs), 16:1-16:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
fulltext PDF [bibtex]
@techreport{URTGURAVL2020,
title = {UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic},
author = {Joost-Pieter Katoen and Martin Ritzert and Richard Wilke and Katrin M. Dannert and Peter Lindner and Dennis Fischer and Janosch Fuchs and Björn Frederik Tauer and Vipin Ravindran Vijayalakshmi and Laura Vargas Koch and Nadine Friesen and Andreas Gabriel Klinger and Marcel Tobias Hark and Benjamin Lucien Kaminski and Sebastian Junges and Jip Josephine Spel and Anton Pirogov and Stefan Schupp and Till Hofmann and Daxin Liu and Martin Comis and Tabea Claudia Krabs and Stephan Zieger and Rebecca Haehn and Matthias Volk and Norman Weik and Helene-Maria Bolke-Hermanns},
pages = {85 Seiten},
type = {Tech Report},
year = {2020},
url = { https://publications.rwth-aachen.de/record/807487},
}×
[issue] 		Joost-Pieter Katoen, Martin Ritzert, Richard 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, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020.
2018
fulltext PDF [bibtex]
@conference{EECCSS2018,
title = {Evaluation of Equational Constraints for CAD in SMT Solving},
author = {Rebecca Haehn and Gereon Kremer and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR Workshop Proceedings},
volume = {2189},
pages = {[19]-32},
type = {Conference Paper},
year = {2018},
url = { https://publications.rwth-aachen.de/record/753088},
}×
[issue] 		Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018.