19 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.SE2013★ 6 cited
SoS contract verification using statistical model checking
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer +2
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for ef…
cs.SE2013★ 19 cited
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
Alexandre Arnold, Benoît Boyer, Axel Legay
This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS a…