From

Institution

Field

Type

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

Reset

Papers matching “verification” 29

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Experiments for 'Verification of indefinite-horizon POMDPs'
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'
2022 Data Archiving and Networked Services (DANS) dataset Computer Science Formal Methods in Verification Open access

Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

16

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
What is the Best Algorithm for MDP Model Checking? Replication Package
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

1

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

1

citations
Tools and Algorithms for Sound Multi-Objective Probabilistic Model Checking (Artifact)
2026 University of Twente Research Information dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Tim Quatmann, Mark van Wijk

1

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

1

citations
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)
2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access

Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski

0

citations
Comparison of Maximal End Component Decomposition Algorithms: Data and Code
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

0

citations
A Practitioner's Guide to MDP Model Checking Algorithms (Artefact)
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

0

citations
Parameter Synthesis for Markov Models: Prophesy and model files
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

0

citations
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

0

citations
Parameter Synthesis for Markov Models: Prophesy and model files
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

0

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
Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger

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
Multi-Cost Bounded Tradeoff Analysis in MDP - Artifact
2020 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Tim Quatmann

0

citations
Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

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

0

citations