150 citations · 623 across the 65 of their papers we have counts for
Showing 2014 · cs.SEShow all
2 papers · 2 filters
cs.SE2014★ 1 cited
Dynamic Verification of SystemC with Statistical Model Checking
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties su…
cs.SE2014★ 9 cited
State Machine Flattening: Mapping Study and Assessment
Xavier Devroey, Gilles Perrouin, Maxime Cordy +3
State machine formalisms equipped with hierarchy and parallelism allow to compactly model complex system behaviours. Such models can then be transformed into executable code or inp…