150 citations · 623 across the 65 of their papers we have counts for
Showing 2017 · cs.SEShow all
2 papers · 2 filters
cs.SE2017★ 4 cited
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Van Chan Ngo, Axel Legay
Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them hav…
cs.SE2017
A framework for quantitative modeling and analysis of highly (re)configurable systems
Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente +1
This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different combinations of the optiona…