W2102609194

• Probabilistic Model Checking Taken by Storm

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

  0

  citations
• 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
• 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
• A Compositional Semantics of Boolean-Logic Driven Markov Processes

  2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

  3

  citations
• Out of Control: Reducing Probabilistic Models by Control-State Elimination

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

  3

  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
• A Compositional Semantics for Repairable BDMPs

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

  5

  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

10 results