Salman Saghafi

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 1

Top Topics

Statistical Model

Qualitative Temporal Reasoning

Geometrical Features

Top Venues

Publications

Salman Saghafi, Ryan Danas, Daniel J. Dougherty
Exploring Theories with a Model-Finding Assistant. CADE (2015)
Salman Saghafi, Daniel J. Dougherty
Razor: Provenance and Exploration in Model-Finding. PAAR@IJCAR (2014)
Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi
Aluminum: principled scenario exploration through minimality. ICSE (2013)
Salman Saghafi, Kathi Fisler, Shriram Krishnamurthi
Features and object capabilities: reconciling two visions of modularity. AOSD (2012)