Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool. - Muhammad Abdul Basit Ur Rahim; Fahim Arif; Jamil Ahmad (ICCSA (5), 2014)

Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM. - Sajjad Ali; Muhammad Abdul Basit Ur Rahim; Fahim Arif (ICCSA (Short Papers/poster papers/PhD student showcase works), 2015)

Formal verification of internal block diagram of SysML for modeling real-time system. - Sajjad Ali; Muhammad Abdul Basit Ur Rahim; Fahim Arif (SNPD, 2015)

A formal verification of mutation-based moving target defense. - Muhammad Abdul Basit Ur Rahim; Qi Duan; Ehab Al-Shaer (HotSoS, 2019)

A Formal Analysis of Moving Target Defense. - Muhammad Abdul Basit Ur Rahim; Qi Duan; Ehab Al-Shaer (COMPSAC, 2020)

Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks. - Md. Mazharul Islam 001; Ehab Al-Shaer; Muhammad Abdul Basit Ur Rahim (SecureComm (1), 2020)

A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense. - Muhammad Abdul Basit Ur Rahim; Ehab Al-Shaer; Qi Duan (SecureComm (1), 2020)

Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges. - Satyam Sharma; Muhammad Abdul Basit Ur Rahim; Shahid Hussain 001; Muhammad Rizwan Abid; Tairan Liu (QRS Companion, 2023)

AI Ethics in Healthcare - A Survey. - Bhavraaj Singh; Muhammad Abdul Basit Ur Rahim; Shahid Hussain 001; Muhammad Rizwan Abid; Jie Zhao (QRS Companion, 2023)

Formal Modeling and Verification of Industrial Robotic Arm - A Case Study. - Ilmaan Zia; Muhammad Abdul Basit Ur Rahim; Tairan Liu; Zhangying He (QRS Companion, 2023)

Non-fungible Tokens and Their Applications. - Jeet Patel; Delicia Fernandes; Darshkumar Jasani; Kunjal Patel; Muhammad Abdul Basit Ur Rahim (WorldCIST (4), 2023)

A Fuzzy AHP-based Quantitative Framework to Prioritize the Crowd-Based Requirements. - Saif Ur Rehman Khan 001; Maha Younus; Javed Iqbal; Muhammad Abdul Basit Ur Rahim (QRS Companion, 2024)

A Decision-Making Framework to Recommend Quantum-Based Solutions for Fit Problem Domains with Associated Factors. - Shahid Hussain 001; Nasreen Azad; Wen-Li Wang; Saif Ur Rehman Khan 001; Muhammad Abdul Basit Ur Rahim; Naseem Ibrahim (SIGSOFT FSE Companion, 2025)