A compositional modelling and analysis framework for stochastic hybrid systems

• Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks

  2025 International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) conference-paper Computer Science Formal Methods in Verification

  0

  citations
• (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems

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

  2

  citations
• 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
• Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks

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

  12

  citations
• Comparing Two Approaches to Include Stochasticity in Hybrid Automata

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

  8

  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
• Tweaking the Odds in Probabilistic Timed Automata

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

  4

  citations
• ARCH-COMP20 Category Report: Stochastic Models

  2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

  10

  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
• A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

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

  6

  citations
• Probabilistic Model Checking of AODV

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

  5

  citations

13 results