Dor Ma'ayan

According to our database, Dor Ma'ayan authored at least 9 papers between 2017 and 2025.

Collaborative distances:

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

2025

Evolution-Aware Heuristics for GR(1) Realizability Checking.

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023

Anti-Patterns (Smells) in Temporal Specifications.

Dor Ma'ayan, Shahar Maoz, Jan Oliver Ringert

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2023

Using Reactive Synthesis: An End-to-End Exploratory Case Study.

Dor Ma'ayan, Shahar Maoz

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

Triggers for Reactive Synthesis Specifications.

Gal Amram, Dor Ma'ayan, Shahar Maoz, Or Pistiner, Jan Oliver Ringert

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

2022

Validating the correctness of reactive systems specifications through systematic exploration.

Dor Ma'ayan, Shahar Maoz, Roey Rozi

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2020

Penrose: from mathematical notation to beautiful diagrams.

Katherine Ye, Wode Ni, Max Krieger, Dor Ma'ayan, Jenna Wise, Jonathan Aldrich, Joshua Sunshine, Keenan Crane

ACM Trans. Graph., 2020

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design.

Dor Ma'ayan, Wode Ni, Katherine Ye, Chinmay Kulkarni, Joshua Sunshine

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2018

The quality of junit tests: an empirical study report.

Dor D. Ma'ayan

Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, 2018

2017

Syntactic Zoom-Out / Zoom-In Code with the Athenizer.

Yossi Gil, Dor Ma'ayan, Niv Shalmon, Raviv Rachmiel, Ori Roth

Proceedings of the IEEE Working Conference on Software Visualization, 2017