Tim Quatmann -

Registered user since Thu 28 Mar 2019

Name:Tim Quatmann

Country:Germany

Affiliation:RWTH Aachen University

Personal website: https://moves.rwth-aachen.de/people/quatmann/

Research interests:Model Checking

Contributions

2026

FM

Author of Probabilistic Model Checking Taken by Storm within the Tutorials-track
Author of Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking within the Research Track-track

2025

ATVA

Author of Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains within the ATVA Papers-track

2019

TACAS

Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track