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