Dor Ma'ayan

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Reactive Systems

Top Venues

ACM Trans. Graph.

Publications

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. Software Engineering (2024)
Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert
Anti-Patterns (Smells) in Temporal Specifications. ICSE (NIER) (2023)
Dor Ma'ayan, Shahar Maoz
Using Reactive Synthesis: An End-to-End Exploratory Case Study. ICSE (2023)
Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Triggers for Reactive Synthesis Specifications. ICSE (2023)
Dor Ma'ayan, Shahar Maoz, Roey Rozi
Validating the correctness of reactive systems specifications through systematic exploration. MoDELS (2022)
Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine
How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. CHI (2020)
Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane
Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph. 39 (4) (2020)
Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth
Syntactic Zoom-Out / Zoom-In Code with the Athenizer. VISSOFT (2017)