Rafi Shalom

Registered user since Tue 23 Apr 2019

Name:Rafi Shalom
Bio:

Currently a research engineer at Accenture Labs Israel.

2021-2022 Post-doctoral researcher at Tel Aviv University. Completed a PhD in 2021 at Tel Aviv University. Research interests are in the application of formal methods for software engineering, with a specific focus on reactive synthesis.

My work has been published in ICSE, ESEC/FSE, and MODELS.

Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:GR(1) Synthesis, Data-mesh architectures, Attack graph analysis

Contributions

ICSE 2023 Author of Artifact for "Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?" within the Artifact Evaluation-track
Author of Which of My Assumptions are Unnecessary for Realizability and Why Should I Care? within the Technical Track-track
ESEC/FSE 2022 Author of Inherent Vacuity for GR(1) Specifications within the ESEC/FSE 2020-track
ICSE 2021 Author of Unrealizable Cores for Reactive Systems Specifications: Artifact within the AE - Artifact Evaluation-track
Author of Unrealizable Cores for Reactive Systems Specifications within the Technical Track-track
ESEC/FSE 2020 Panelist of Conversations on Analysis 4 within the Paper Presentations-track
Author of Inherent Vacuity for GR(1) Specifications within the Research Papers-track
ICSE 2019 Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track