A conflict based SAW method for Constraint Satisfaction Problems. - Rafi Shalom; Mireille Avigal; Ron Unger (IEEE Congress on Evolutionary Computation, 2009)

Why is My Component and Connector Views Specification Unsatisfiable? - Shahar Maoz; Nitzan Pomerantz; Jan Oliver Ringert; Rafi Shalom (MoDELS, 2017)

Symbolic repairs for GR(1) specifications. - Shahar Maoz; Jan Oliver Ringert; Rafi Shalom (ICSE, 2019)

Inherent vacuity for GR(1) specifications. - Shahar Maoz; Rafi Shalom (ESEC/SIGSOFT FSE, 2020)

Unrealizable Cores for Reactive Systems Specifications. - Shahar Maoz; Rafi Shalom (ICSE, 2021)

Unrealizable Cores for Reactive Systems Specifications: Artifact. - Shahar Maoz; Rafi Shalom (ICSE (Companion Volume), 2021)

Explaining and Repairing Problems in Specifications - Rafi Shalom (2021)

Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? - Rafi Shalom; Shahar Maoz (ICSE, 2023)

Fast Attack Graph Defense Localization via Bisimulation. - Nimrod Busany; Rafi Shalom; Dan Klein 003; Shahar Maoz (FM (1), 2024)