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

• SoSe25: Formale Systeme, Automaten, Prozesse

Past semesters

• WiSe24/25: Model Checking and Seminar Trends in Computer-Aided Verification
• SoSe24: Formale Systeme, Automaten, Prozesse
• WiSe23/24: Seminar Reproducing Research Results in Formal Methods
• SoSe23: Datenstrukturen und Algorithmen

Thesis projects

If you are interested in writing a Bachelor’s or Master’s thesis in probabilistic model checking, don’t hesitate to contact me.

Ongoing Thesis Projects

• Marcel Eissing, On the Relation of Rely-Guarantee and Assume-Guarantee Reasoning. Bachelor’s thesis (co-supervision with Lena Verscht)
• Julian Bahr, Properties and Complexity of Cores in Markov Chains. Bachelor’s thesis (co-supervision with Tim Quatmann)
• Sven Farwig, An Evaluation of Tools to Compute the Stationary Distribution in Markov Chains. Bachelor’s thesis
• Asad Butt, Extending AG-Rules for pPAs (working title). Bachelor’s thesis
• Svenja Stein, AG-Reasoning for poMDPs (working title). Master’s thesis (co-supervision with Alexander Bork)

Past Thesis Projects

• Jannik Hiller, Model Checking Stochastic Games with Storm. Bachelor’s thesis (co-supervision with Tim Quatmann)
• Julius Ide, Markov Decision Processes with Multiple Linear Time and Long-run Average Objectives. Bachelor’s thesis (co-supervision with Tim Quatmann)

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)