Penrose: from mathematical notation to beautiful diagrams K Ye, W Ni, M Krieger, D Ma'ayan, J Wise, J Aldrich, J Sunshine, K Crane ACM Transactions on Graphics (TOG) 39 (4), 144: 1-144: 16, 2020 | 43 | 2020 |
How domain experts create conceptual diagrams and implications for tool design D Ma'ayan, W Ni, K Ye, C Kulkarni, J Sunshine Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020 | 20 | 2020 |
The quality of junit tests: an empirical study report DD Ma'ayan Proceedings of the 1st International Workshop on Software Qualities and …, 2018 | 17 | 2018 |
Syntactic Zoom-Out/Zoom-In Code with the Athenizer Y Gil, D Ma'ayan, N Shalmon, R Rachmiel, O Roth 2017 IEEE Working Conference on Software Visualization (VISSOFT), 124-128, 2017 | 4 | 2017 |
Case study: implementing an industrial IoT solution for a multihead weighing machine (MWM) D Ma’ayan, I Dabran 2019 IEEE International Conference on Microwaves, Antennas, Communications …, 2019 | 3 | 2019 |
Triggers for reactive synthesis specifications G Amram, D Ma'ayan, S Maoz, O Pistiner, JO Ringert 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 2 | 2023 |
Anti-patterns (smells) in temporal specifications D Ma’ayan, S Maoz, JO Ringert 2023 IEEE/ACM 45th International Conference on Software Engineering: New …, 2023 | 1 | 2023 |
Using Reactive Synthesis: An End-to-End Exploratory Case Study D Ma'ayan, S Maoz 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 1 | 2023 |
Validating the correctness of reactive systems specifications through systematic exploration D Ma'ayan, S Maoz, R Rozi Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 1 | 2022 |
Better Prediction of Mutation Score Y Gil, D Ma’ayan Authorea Preprints, 2023 | | 2023 |
Better Prediction of Mutation Score Dor DD Ma’ayan, Y Gil Computer Science Department, Technion, 2021 | | 2021 |
The Quality of Junit Tests DD Ma’ayan | | 2018 |
The Spartanizer: Experience, Architecture, Lessons Y Gil, M Orrú, D Ma’ayan | | 2017 |