Syntactic Zoom-Out / Zoom-In Code with the Athenizer. - Yossi Gil; Dor Ma'ayan; Niv Shalmon; Raviv Rachmiel; Ori Roth (VISSOFT, 2017)

The quality of junit tests: an empirical study report. - Dor D. Ma'ayan (SQUADE@ICSE, 2018)

How Domain Experts Create Conceptual Diagrams and Implications for Tool Design. - Dor Ma'ayan; Wode Ni; Katherine Ye; Chinmay Kulkarni 001; Joshua Sunshine (CHI, 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)

Validating the correctness of reactive systems specifications through systematic exploration. - Dor Ma'ayan; Shahar Maoz; Roey Rozi (MoDELS, 2022)

Using Reactive Synthesis: An End-to-End Exploratory Case Study. - Dor Ma'ayan; Shahar Maoz (ICSE, 2023)

Anti-Patterns (Smells) in Temporal Specifications. - Dor Ma'ayan; Shahar Maoz; Jan Oliver Ringert (ICSE (NIER), 2023)

Triggers for Reactive Synthesis Specifications. - Gal Amram; Dor Ma'ayan; Shahar Maoz; Or Pistiner; Jan Oliver Ringert (Software Engineering, 2024)