Christian Hensel ▲ Sign in to save

• 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

  2

  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
• Parameter Synthesis for Markov Models: Prophesy and model files

  2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

  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

  0

  citations
• The probabilistic model checker Storm

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

  246

  citations
• Counterexample-guided inductive synthesis for probabilistic systems

  2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

  7

  citations

6 results