Rafi Shalom

According to our database, Rafi Shalom authored at least 9 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Fast Attack Graph Defense Localization via Bisimulation.

Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Rafi Shalom, Shahar Maoz

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

Explaining and Repairing Problems in Specifications

Rafi Shalom

PhD thesis, 2021

Unrealizable Cores for Reactive Systems Specifications: Artifact.

Shahar Maoz, Rafi Shalom

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Unrealizable Cores for Reactive Systems Specifications.

Shahar Maoz, Rafi Shalom

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Inherent vacuity for GR(1) specifications.

Shahar Maoz, Rafi Shalom

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Symbolic repairs for GR(1) specifications.

Shahar Maoz, Jan Oliver Ringert, Rafi Shalom

Proceedings of the 41st International Conference on Software Engineering, 2019

2017

Why is My Component and Connector Views Specification Unsatisfiable?

Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2009

A conflict based SAW method for Constraint Satisfaction Problems.

Rafi Shalom, Mireille Avigal, Ron Unger

Proceedings of the IEEE Congress on Evolutionary Computation, 2009