Features and object capabilities: reconciling two visions of modularity. - Salman Saghafi; Kathi Fisler; Shriram Krishnamurthi (AOSD, 2012)

Aluminum: principled scenario exploration through minimality. - Tim Nelson; Salman Saghafi; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ICSE, 2013)

Razor: Provenance and Exploration in Model-Finding. - Salman Saghafi; Daniel J. Dougherty (PAAR@IJCAR, 2014)

Exploring Theories with a Model-Finding Assistant. - Salman Saghafi; Ryan Danas; Daniel J. Dougherty (CADE, 2015)