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

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

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

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

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