Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis. - Bryan J. Muscedere; Robert Hackman; Davood Anbarnam; Joanne M. Atlee; Ian J. Davis; Michael W. Godfrey (SANER, 2019)

mel- model extractor language for extracting facts from models. - Robert Hackman; Joanne M. Atlee; Alistair Finn Hackett; Michael W. Godfrey (MoDELS, 2020)

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)

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)