From

Institution

Field

Type

Topic: Formal Methods in Verification ×

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “Storm model checker” in Formal Methods in Verification 25

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk

246

citations
Probabilistic Model Checking Taken by Storm
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Probabilistic Model Checking Taken by Storm
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Riding the Storm in a Probabilistic Model Checking Landscape
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk

2

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Artifact for "Probabilistic Model Checking Taken by Storm"
2026 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
What is the best algorithm for MDP model checking?
2025 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

Tim Quatmann

2

citations
Model Checking the Multi-Formalism Language FIGARO
2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

7

citations
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Muhammad Hannan Khan, Osman Hassan, Shahid Ali Khan

8

citations
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, Daniel Zilken

1

citations
moves-rwth/storm: v1.12
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material
2020 Zenodo (CERN European Organization for Nuclear Research) supplementary-materials Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

2

citations
Multi-objective Optimization of Long-run Average and Total Rewards: Supplemental Material
2020 Zenodo (CERN European Organization for Nuclear Research) supplementary-materials Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

0

citations
stormchecker/storm: v1.14.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Christian Hensel, Tim Quatmann, Matthias Volk, Sebastian Junges, J. Berger, jipspel, +22 more

0

citations
Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

0

citations
stormchecker/stormpy: v1.13.1
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access

Matthias Volk, Sebastian Junges, Hannah, Tom Janson, Linus, Tim Quatmann, +12 more

0

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

13

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

1

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Tim Quatmann, Joost-Pieter Katoen

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Verification of Multi-Objective Markov Models: Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
BDDs Strike Back
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Ali Khan, Mariëlle I. A. Stoelinga

20

citations
Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
2025 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

3

citations
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann

2

citations

25 results