20 citations · 66 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Ramy Shahin, Robert Hackman, Rafael Toledo +3
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at…
cs.SE2021
Towards Certified Analysis of Software Product Line Safety Cases
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL va…