Publications

2024

Ionut Predoaia, Qurat Ul Ain Ali, Dimitris Kolovos, Antonio García-Domínguez. 2024 "Semi-automated migration of domain-specific graphical editors to the Web" In High Integrity Software Conference 2024
Qurat Ul Ain Ali, Dimitris Kolovos, Antonio Garcia-Dominguez, Michael Bennett, Joe Newton, Piotr Zacharzewski "Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways" In ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS ’24), September 22–27, 2024, Linz, Austria [PDF]

Qurat ul ain Ali, "Optimisation of Model Management Programs Using Automated Program Rewriting". Dec 2023 [PDF]
Qurat ul ain Ali, Dimitris Kolovos, and Konstantinos Barmpis. 2023. "Towards Efficient Model Comparison using Automated Program Rewriting". In Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’23)[PDF]

Qurat ul ain Ali, Sorour Jahanbin, Jolan Phillipe, Bendek Horvath . 2022 "Scalable Low-Code Artefact Persistence and Query"
Qurat ul ain Ali, Dimitris Kolovos, Konstantinos Barmpis "Selective Traceability for Rule-Based Model-to-Model Transformations" at 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022).[PDF]

Qurat ul ain Ali, Dimitris Kolovos, Konstantinos Barmpis "Identification and Optimisation of Type-Level Model Queries" (Best Paper) at SAM 2021 co-located with MODELS. [PDF]
Qurat ul ain Ali "Heterogeneous Model Query Optimisation" at Doctoral Symposium MODELS 2021. [PDF]
Qurat ul ain Ali, Benedek Horvath, Dimitris Kolovos, Konstantinos Barmpis, Akos Horvath "Towards Scalable Validation of Low-Code System Models: Mapping EVL to Viatra Patterns" at 2nd Low-Code Workshop at MODELS 2021. [Slides][PDF]

Qurat ul ain Ali, Dimitris Kolovos, Konstantinos Barmpis. "Efficiently Querying Large-Scale Heterogeneous Models" at 1st Low-Code Workshop at MODELS 2020. [PDF]