Applying Declarative Analysis to Software Product Line Models: An Industrial Study. - Ramy Shahin; Robert Hackman; Rafael F. Toledo; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (MoDELS, 2021)

Comprehending Variability in Analysis Results of Software Product Lines. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong (CoRR, 2023)

Applying declarative analysis to industrial automotive software product line models. - Ramy Shahin; Rafael F. Toledo; Robert Hackman; S. Ramesh 002; Joanne M. Atlee; Marsha Chechik (Empir. Softw. Eng., 2023)

(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong; Mingyu Liu (ICSE Companion, 2024)

Visualizing Analysis Results for SPL Models - A User Study. - Rafael F. Toledo; Joanne M. Atlee; Rui Ming Xiong (VISSOFT, 2024)