Email

hannah.mertens at cs.rwth-aachen.de

Address

Room 4207
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21203

I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen.

Research

My research focuses on compositional verification of probabilistic systems, in particular parametric Markov models and stochastic games.

Teaching

Current semester (WiSe24/25)

• Seminar Trends in Computer-Aided Verification
• Model Checking

Past semesters

• SoSe24: Formale Systeme, Automaten, Prozesse
• WS23/24: Seminar Reproducing Research Results in Formal Methods
• SoSe23: Datenstrukturen und Algorithmen

Awards

• ETAPS2024: Our paper Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (joint work with Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler) has received the EAPLS (European Association of Programming Languages) Best Paper Award.

Publications

2024
[bibtex] @conference{ACEVTSDMC2024, title = {Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains}, author = {Hannah Mertens and Joost-Pieter Katoen and Tim Quatmann and Tobias Winkler}, publisher = {Springer}, booktitle = {LNCS}, volume = {14571}, pages = {237-257}, type = {Conference Paper}, year = {2024}, doi = {10.1007/978-3-031-57249-4_12}, url = { https://publications.rwth-aachen.de/record/990356}, }× [issue]	Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler. Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains, 30. International Conference TACAS (TACAS 2024), Volume 14571 of LNCS, 237-257, Springer, 2024.
Show all

A list of publications is also available on my ORCID profile, on my dblp profile, and on my Google Scholar profile.

Peer Review

• FM 2024 (external reviewer)
• AAMAS 2024 (external reviewer)