150 citations · 623 across the 65 of their papers we have counts for
9 papers · 1 filter
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…
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…
Proceedings 1st Workshop on Advances in Systems of Systems
Kim G. Larsen, Axel Legay, Ulrik Nyman
This volume contains the proceedings of the first workshop on Advances in Systems of Systems (AISOS'13), held in Roma, Italy, March 16. System-of-Systems describes the large scale…
Verification for Reliable Product Lines
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens +3
Many product lines are critical, and therefore reliability is a vital part of their requirements. Reliability is a probabilistic property. We therefore propose a model for feature-…
Scalable Verification of Markov Decision Processes
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable. Existing approximative…
Towards Statistical Prioritization for Software Product Lines Testing
Xavier Devroey, Maxime Cordy, Gilles Perrouin +3
Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, sa…