Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time

• 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
• Engineering Digital Twins and Digital Shadows as Key Enablers for Industry 4.0

  2023 Digital Transformation book-chapter Engineering Digital Transformation in Industry Open access

  15

  citations
• Parameter Synthesis in Markov Models: A Gentle Survey

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

  15

  citations
• Convex Optimization for Parameter Synthesis in MDPs

  2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

  21

  citations
• Counterexample-guided inductive synthesis for probabilistic systems

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

  7

  citations
• The complexity of reachability in parametric Markov decision processes

  2021 Journal of Computer and System Sciences article Computer Science Formal Methods in Verification Open access

  23

  citations
• The Complexity of Reachability in Parametric Markov Decision Processes

  2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

  10

  citations
• Parameter synthesis in Markov models

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

  27

  citations

9 results