Segui
Dor Ma'ayan
Dor Ma'ayan
Computer Science Ph.D. Student, Tel Aviv University
Email verificata su mail.tau.ac.il - Home page
Titolo
Citata da
Citata da
Anno
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
422020
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
192020
The quality of junit tests: an empirical study report
DD Ma'ayan
Proceedings of the 1st International Workshop on Software Qualities and …, 2018
172018
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
42017
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
32019
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
22023
Anti-patterns (smells) in temporal specifications
D Ma’ayan, S Maoz, JO Ringert
2023 IEEE/ACM 45th International Conference on Software Engineering: New …, 2023
12023
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
12023
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
12022
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13