From

Institution

Field

Type

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

Reset

Papers matching “model checking” 105

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
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
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
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
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
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

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
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

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

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
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
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
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
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset)
2023 TU/e Research Portal dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Multi-Domain Thermal Comfort Models for Office Buildings: Are Current Practices Scalable? (Dataset)
2022 TU/e Research Portal dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

1

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.1)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Let's talk scalability: The current status of multi-domain thermal comfort models as support tools for the design of office buildings (Dataset v1.2.0)
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering Building Energy and Comfort Optimization Open access

Eugene Mamulova, Marcel G. L. C. Loomans, Roel Loonen, Marcel Schweiker, H.S.M. Kort

0

citations
Data and simulation code for paper 'Adhesion-driven invasion: disentangling the interplay between cell-cell and cell-matrix interactions in cancer cell migration' (Biophysical Journal, 2026)
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Mathematics Mathematical Biology Tumor Growth Open access

Quirine J. S. Braat, Klara Beslmüller, Cornelis Storm, Erik H.J. Danen, Liesbeth Janssen

0

citations
Analysis of the OR-join Survey Results: 14 situation, 37 participants, 5 Or-join policies
2026 Zenodo (CERN European Organization for Nuclear Research) dataset Business, Management and Accounting Business Process Modeling and Analysis Open access

Wil M. P. van der Aalst, Andreas V. Hense

0

citations