150 citations · 250 across the 7 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.CE2012★ 85 cited
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen +4
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how…
cs.LO2012★ 150 cited
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…