5 citations · 6 across the 9 of their papers we have counts for
10 papers · 1 filter
Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
Nick Waddoups, Jonah Boe, Arnd Hartmanns +4
Quantitative verification can provide deep insights into reliable Network-On-Chip (NoC) designs. It is critical to understanding and mitigating operational issues caused by power s…
Time-Sensitive Importance Splitting
Gabriel Dengler, Carlos E. Budde, Laura Carnevali +1
State-of-the-art methods for rare event simulation of non-Markovian models face practical or theoretical limits if observing the event of interest requires prior knowledge or infor…
A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz +2
We present an efficiently executable, formally verified implementation of interval iteration for MDPs. Our correctness proofs span the entire development from the high-level abstra…
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer +2
Statistical model checking estimates probabilities and expectations of interest in probabilistic system models by using random simulations. Its results come with statistical guaran…
An Overview of Modest Models and Tools for Real Stochastic Timed Systems
Arnd Hartmanns
We depend on the safe, reliable, and timely operation of cyber-physical systems ranging from smart grids to avionics components. Many of them involve time-dependent behaviours and…
Correct Probabilistic Model Checking with Floating-Point Arithmetic
Arnd Hartmanns
Probabilistic model checking computes probabilities and expected values related to designated behaviours of interest in Markov models. As a formal verification approach, it is appl…