25 citations · 56 across the 14 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013★ 5 cited
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-…
cs.SE2013★ 6 cited
A Syntactic-Semantic Approach to Incremental Verification
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +1
Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by chan…