Muhammad Abdul Basit Ur Rahim, Ph.D. Software Engineering, 2017
Ph.D. Software Engineering, National University of Science and Technology, 2017
Software Design and Architecture
Formal specification and analysis
Formal verification and validation
Courses currently or previously instructed:
Verification and validation (ESOF 411)
Software Security (376)
Software Engineering (ESOF 322)
Software Design and Architecture (ESOF 427)
Programming (CSCI 112)
Muhammad Abdul Basit Ur Rahim, PhD is an Assistant Professor Computer Science at Montana Technological University. Abdul Basit has over thirteen years of experience in software engineer, analysis, design and implementation. Abdul Basit has wide experience of web and desktop application development. At National Institute of Electronics, Abdul Basit has provided professional IT trainings for more than ten years. Abdul Basit has also taught for more than five years at undergraduate and graduate levels. Abdul Basit has worked over a year as Research Scientist at Center for Cybersecurity Analytics and Automation (CCAA) at University of North Carolina, Charlotte. Dr. Abdu Basit holds a PhD in Software Engineering from National University of Science and Technology, Pakistan, and did his research at University of Florida, Gainesville. Abdul Basit also holds two masters in Software Engineering and in E-Commerce. Abdul Basit has published his research in area of formal specification and analysis, and applied the research on industrial and cybersecurity systems.
A. Basit Ur Rahim, Qi Duan, and Ehab Al-Shaer. A Formal Verification of Configuration-based Mutation Techniques for Moving Target Defense, EAI SecureComm 2020, Oct. 2020.
Raqib Mazhar ul Islam, Ehab Al-Shaer, and A. Basit Ur Rahim, Email Address Mutation for Proactive Deterrence of Spear-Phishing Attackers, EAI SecureComm 2020, Oct. 2020.
A. Basit Ur Rahim, Ehab Al-Shaer, and Qi Duan. A Formal Analysis of Moving Target Defense, 44th COMPSAC, July. 2020.
A. Basit Ur Rahim, Qi Duan and Ehab Al-Saer. A Formal Verification of Mutation-based Moving Target Defense, 2019 HotSoS, Nashville, TN, Apr. 2019
A. Basit Ur Rahim, and F. Arif. Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE, Mehran University Research Journal of Engineering & Technology, Vol. 35 (1), Dec. 2015.
Ali, M. A. Basit-Ur-Rahim, F. Arif, Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM, 15th IEEE International Conference on Computational Science and Its Applications (ICCSA), Banff, June, 2015
Ali, M. A. Basit-Ur-Rahim, F. Arif, Formal verification of internal block diagram of SysML for modeling real-time system, 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), Kyota, June, 2015
A. Basit Ur Rahim, F. Arif and J. Ahmad. “Modeling of Embedded System using SysML and its Parallel Verification using DiVinE Tool”, 14th International Conference on Computation Science and its Applications 2014, Guimaraes, Portugal on Jun 30 – July 3, 2014.
A. Basit Ur Rahim, F. Arif and J. Ahmad. “Modeling of Real-Time Embedded Systems using SysML and its Verification using UPPAAL and DiVinE”, 5th IEEE International Conference on Software Engineering and Service Science, Beijing, China, Jan. 2014
A. Basit Ur Rahim, F. Arif and J. Ahmad. “Formal Verification of Sequence Diagram using DiVinE”, International Conference on Computer Software and Applications (ICCSA 2014), Hammamt, Tunisia, Jan. 2014.
A. Basit Ur Rahim, F. Arif and J. Ahmad. “Parallel verification of UML using DiVinE tool.” IEEE 5th International Conference on Computer Science and Information Technology (CSIT). Amman, Jordan, April, 2013
Rauf, M. Ramzan, M. A. Basit Ur Rahim, A. A. Shahid, Extending UML to model GUI: a new profile, 2nd International Conference on Computer and Automation Engineering (ICCAE), Singapore. May, 2010.
Latif, M. A. Basit Ur Rahim, A. Rauf, and A. Nadeem, Evaluation of UML real- time profiles for Industrial Control Systems, International Conference on Information and Emerging Technologies (ICIET), Karachi, Feb, 2010