conf.researchr.org / Dor Ma'ayan
Registered user since Fri 13 Jan 2023
Name:Dor Ma'ayan
Country:Israel
Affiliation:Tel Aviv University
Personal website: https://dormaayan.github.io/
Contributions
2023
ICSE
- Author of Anti-Patterns (Smells) in Temporal Specifications within the NIER - New Ideas and Emerging Results-track
- Author of Using Reactive Synthesis: An End-to-End Exploratory Case Study within the Technical Track-track
- Author of Artifact for "Triggers for Reactive Synthesis Specifications" within the Artifact Evaluation-track
- Author of Artifact for "Using Reactive Synthesis: An End-to-End Exploratory Case Study" within the Artifact Evaluation-track
- Author of Triggers for Reactive Synthesis Specifications within the Technical Track-track