Rebecca Haehn

According to our database, Rebecca Haehn authored at least 5 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Acceleration Techniques for Symbolic Simulation of Railway Timetables.

Rebecca Haehn, Erika Ábrahám, Niklas Kotowski

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies.

Rebecca Haehn, Erika Ábrahám, Nils Nießen

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Freight Train Scheduling in Railway Systems.

Rebecca Haehn, Erika Ábrahám, Nils Nießen

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

Probabilistic Simulation of a Railway Timetable.

Rebecca Haehn, Erika Ábrahám, Nils Nießen

Proceedings of the 20th Symposium on Algorithmic Approaches for Transportation Modelling, 2020

2018

Evaluation of Equational Constraints for CAD in SMT Solving.

Rebecca Haehn, Gereon Kremer, Erika Ábrahám

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018