Muhammad Abdul Basit Ur Rahim

14 papers B 2C 1Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
A Decision-Making Framework to Recommend Quantum-Based Solutions for Fit Problem Domains with Associated Factors.
SIGSOFT FSE Companion
Shahid Hussain, Nasreen Azad, Wen-Li Wang, Saif Ur Rehman Khan, Muhammad Abdul Basit Ur Rahim, Naseem Ibrahim
2025 B conf
Clustering Effect on Cancer Molecular Subtype Classification.
COMPSAC
Mehwish Wahid Khan, Muhammad Shahzad, Iqra Akram, Ghufran Ahmed, Shahid Hussain, Muhammad Abdul Basit Ur Rahim
2024 — conf
A Fuzzy AHP-based Quantitative Framework to Prioritize the Crowd-Based Requirements.
QRS Companion
Saif Ur Rehman Khan, Maha Younus, Javed Iqbal, Muhammad Abdul Basit Ur Rahim
2023 — conf
AI Ethics in Healthcare - A Survey.
QRS Companion
Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Jie Zhao
2023 — conf
Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.
QRS Companion
Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He
2023 — conf
Non-fungible Tokens and Their Applications.
WorldCIST (4)
Jeet Patel, Delicia Fernandes, Darshkumar Jasani, Kunjal Patel, Muhammad Abdul Basit Ur Rahim
2023 — conf
Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges.
QRS Companion
Satyam Sharma, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Tairan Liu
2020 B conf
A Formal Analysis of Moving Target Defense.
COMPSAC
Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer
2020 — conf
A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense.
SecureComm (1)
Muhammad Abdul Basit Ur Rahim, Ehab Al-Shaer, Qi Duan
2020 — conf
Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks.
SecureComm (1)
Md. Mazharul Islam, Ehab Al-Shaer, Muhammad Abdul Basit Ur Rahim
2019 — conf
A formal verification of mutation-based moving target defense.
HotSoS
Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer
2015 — conf
Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.
ICCSA (Short Papers/poster papers/PhD student showcase works)
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
2015 C conf
Formal verification of internal block diagram of SysML for modeling real-time system.
SNPD
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
2014 — conf
Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool.
ICCSA (5)
Muhammad Abdul Basit Ur Rahim, Fahim Arif, Jamil Ahmad