2 citations · 2 across the 2 of their papers we have counts for
3 papers
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.SE2016
Long-Term Average Cost in Featured Transition Systems
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee +1
A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional…
cs.SE2015★ 2 cited
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering
Joanne M. Atlee, Stefania Gnesi
The workshop aims at reviewing the state of the art and the state of the practice in which formal methods and analysis approaches are currently applied in SPLE. This leads to a dis…