Rafi Shalom
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Fast Attack Graph Defense Localization via Bisimulation. | Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz |
| 2023 | ICSE | Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? | Rafi Shalom, Shahar Maoz |
| 2021 | ICSE | Unrealizable Cores for Reactive Systems Specifications. | Shahar Maoz, Rafi Shalom |
| 2021 | ICSE | Unrealizable Cores for Reactive Systems Specifications: Artifact. | Shahar Maoz, Rafi Shalom |
| 2019 | ICSE | Symbolic repairs for GR(1) specifications. | Shahar Maoz, Jan Oliver Ringert, Rafi Shalom |
| 2017 | MODELS | Why is My Component and Connector Views Specification Unsatisfiable? | Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom |
| 2009 | CEC | A conflict based SAW method for Constraint Satisfaction Problems. | Rafi Shalom, Mireille Avigal, Ron Unger |