150 citations · 623 across the 65 of their papers we have counts for
Showing 2015 · cs.SEShow all
2 papers · 2 filters
cs.SE2015★ 1 cited
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Van Chan Ngo, Axel Legay
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petr…
cs.SE2015★ 19 cited
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with probabilistic aspects. For this p…