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

Applying Declarative Analysis to Software Product Line Models: An Industrial Study - Ramy Shahin; Robert Hackman; Rafael F. Toledo; S. Ramesh; Joanne M. Atlee; Marsha Chechik (24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021, 2021)

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

mel- model extractor language for extracting facts from models - Robert Hackman; Joanne M. Atlee; Alistair Finn Hackett; Michael W. Godfrey (MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, 2020)

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 (26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019, 2019)