Muhammad Abdul Basit Ur Rahim

According to our database, Muhammad Abdul Basit Ur Rahim authored at least 11 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Non-fungible Tokens and Their Applications.

Jeet Patel, Delicia Fernandes, Darshkumar Jasani, Kunjal Patel, Muhammad Abdul Basit Ur Rahim

Proceedings of the Information Systems and Technologies, 2023

Formal Modeling and Verification of Industrial Robotic Arm - A Case Study.

Ilmaan Zia, Muhammad Abdul Basit Ur Rahim, Tairan Liu, Zhangying He

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

AI Ethics in Healthcare - A Survey.

Bhavraaj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad Rizwan Abid, Jie Zhao

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

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

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2020

A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense.

Muhammad Abdul Basit Ur Rahim, Ehab Al-Shaer, Qi Duan

Proceedings of the Security and Privacy in Communication Networks, 2020

Email Address Mutation for Proactive Deterrence Against Lateral Spear-Phishing Attacks.

Md. Mazharul Islam, Ehab Al-Shaer, Muhammad Abdul Basit Ur Rahim

Proceedings of the Security and Privacy in Communication Networks, 2020

A Formal Analysis of Moving Target Defense.

Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

A formal verification of mutation-based moving target defense.

Muhammad Abdul Basit Ur Rahim, Qi Duan, Ehab Al-Shaer

Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, 2019

2015

Formal verification of internal block diagram of SysML for modeling real-time system.

Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM.

Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif

Proceedings of the 15th International Conference on Computational Science and Its Applications, 2015

2014

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool.

Muhammad Abdul Basit Ur Rahim, Fahim Arif, Jamil Ahmad

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014