The PRISM Benchmark Suite

• Tools at the Frontiers of Quantitative Verification

  2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Parameter synthesis for Markov models: covering the parameter space

  2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  20

  citations
• Scenario-based verification of uncertain parametric MDPs

  2022 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  2

  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

  16

  citations
• On Correctness, Precision, and Performance in Quantitative Verification

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  39

  citations
• Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  8

  citations
• Multi-cost Bounded Tradeoff Analysis in MDP

  2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

  22

  citations
• Parameter synthesis in Markov models

  2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

  27

  citations
• Simple Strategies in Multi-Objective MDPs

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  29

  citations
• Scenario-Based Verification of Uncertain MDPs

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations

10 results