| 2026 | COMPSAC | Toward Reliable LLM Code Generation: Adaptive Routing Framework for Ambiguous Requirements. | Muhammad Ahmed, Edwar Tiu, Niyati Nikunj Kapadia, Darren Gabrido, Muhammad Abdul Basit Ur Rahim |
| 2026 | COMPSAC | Agentic Retrieval-Augmented Generation for Sustainable ETL Architecture: Automated Documentation and Design Quality Assessment to Support Carbon-Aware Data Pipelines. | Mayur Jain, Muhammad Ahmed, Muhammad Abdul Basit Ur Rahim |
| 2026 | ICSA | Pynguin-MVP: Automated Test Generation for Lightweight Architectural Validation. | Anuja Sawant, Muhammad Abdul Basit Ur Rahim |
| 2026 | ICSoft | Architecture-Centric Code Migration for Legacy Industrial Systems Using LLMs. | Ayush Luhar, Dev Trivedi, Vatsal Patel, Vijetha Kamath, Utkarsh Balu Lubal, Muhammad Abdul Basit Ur Rahim |
| 2026 | ICSoft | Engineering Self-Adaptive and Autonomous Systems: A Critical Survey and an Adaptation-Assurance Framework. | Kashif Manzer, Dipak Yadav, Muhammad Abdul Basit Ur Rahim |
| 2026 | ICSoft | Replication and Extension of FuseFL: Demystifying Faulty Code with LLM Step-by-Step Reasoning for Explainable Fault Localization. | Bansi Patel, Nishi Shah, Muhammad Abdul Basit Ur Rahim |
| 2026 | ICSoft | CodeEnhancer: An LLM-Assisted Framework for Automated Software Maintenance. | Shafiya Mubeen Umme, Muhammad Abdul Basit Ur Rahim |
| 2025 | COMPSAC | Clustering Effect on Cancer Molecular Subtype Classification. | Mehwish Wahid Khan, Muhammad Shahzad, Iqra Akram, Ghufran Ahmed, Shahid Hussain, Muhammad Abdul Basit Ur Rahim |
| 2024 | QRS | A Fuzzy AHP-based Quantitative Framework to Prioritize the Crowd-Based Requirements. | Saif Ur Rehman Khan, Maha Younus, Javed Iqbal, Muhammad Abdul Basit Ur Rahim |
| 2023 | QRS | Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. | Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu |
| 2023 | QRS | AI Ethics in Healthcare - A Survey. | Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Jie Zhao |
| 2023 | QRS | Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. | Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He |
| 2023 | WorldCIST | Non-fungible Tokens and Their Applications. | Jeet Patel, Delicia Fernandes, Darshkumar Jasani, Kunjal Patel, Muhammad Abdul Basit Ur Rahim |
| 2020 | COMPSAC | A Formal Analysis of Moving Target Defense. | Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer |
| 2020 | SecureComm | Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks. | Md. Mazharul Islam, Ehab Al-Shaer, Muhammad Abdul Basit Ur Rahim |
| 2020 | SecureComm | A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense. | Muhammad Abdul Basit Ur Rahim, Ehab Al-Shaer, Qi Duan |
| 2015 | ICCSA | Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM. | Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif |
| 2015 | SNPD | Formal verification of internal block diagram of SysML for modeling real-time system. | Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif |
| 2014 | ICCSA | Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool. | Muhammad Abdul Basit Ur Rahim, Fahim Arif, Jamil Ahmad |