150 citations · 154 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 4 cited
MDM: A Mode Diagram Modeling Framework
Zheng Wang, Geguang Pu, Jianwen Li +5
Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observe…
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…