| 2024 | MODELS | Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future Pathways. | Qurat ul ain Ali, Dimitris S. Kolovos, Antonio Garca-Domnguez, Michael Bennett, Joe Newton, Piotr Zacharzewski |
| 2023 | SLE | Towards Efficient Model Comparison using Automated Program Rewriting. | Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis |
| 2022 | SLE | Selective Traceability for Rule-Based Model-to-Model Transformations. | Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis |
| 2021 | MODELS | Heterogeneous Model Query Optimisation. | Qurat ul ain Ali |
| 2021 | MODELS | Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA Patterns. | Qurat ul ain Ali, Benedek Horvth, Dimitris S. Kolovos, Konstantinos Barmpis, kos Horvth |
| 2021 | MODELS | Identification and Optimisation of Type-Level Model Queries. | Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis |
| 2020 | MODELS | Efficiently querying large-scale heterogeneous models. | Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis |
| 2018 | Tencon | Role of Spatio-Temporal Feature Position in Recognition of Human Vehicle Interaction. | Qurat ul ain Ali, Muhammad Haroon Yousaf |