150 citations · 270 across the 9 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2011★ 9 cited
Distributed Parametric and Statistical Model Checking
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen +2
Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if th…
cs.SE2011★ 9 cited
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
Alexandre David, Kim G. Larsen, Axel Legay +4
This paper offers a natural stochastic semantics of Networks of Priced Timed Automata (NPTA) based on races between components. The semantics provides the basis for satisfaction of…