| Modeling of real-time embedded systems using SysML and its verification using UPPAAL and DiVinE MA Basit-Ur-Rahim, F Arif, J Ahmad 2014 IEEE 5th International Conference on Software Engineering and Service …, 2014 | 20 | 2014 |
| Parallel verification of UML using DiVinE tool MA Basit-Ur-Rahim, J Ahmad, F Arif 2013 5th International Conference on Computer Science and Information …, 2013 | 14 | 2013 |
| Formal verification of internal block diagram of SysML for modeling real-time system S Ali, MA Basit-Ur-Rahim, F Arif 2015 IEEE/ACIS 16th International Conference on Software Engineering …, 2015 | 11 | 2015 |
| Modeling of embedded system using SysML and its parallel verification using DiVinE tool MA Basit Ur Rahim, F Arif, J Ahmad Computational Science and Its Applications–ICCSA 2014: 14th International …, 2014 | 9 | 2014 |
| Translating activity diagram from duration calculus for modeling of real-time systems and its formal verification using UPPAAL and DiVinE MA Basit ur Rahim, F Arif Mehran University Research Journal of Engineering & Technology 35 (1), 139-154, 2016 | 8 | 2016 |
| Formal verification of time constrains SysML internal block diagram using prism S Ali, MA Basit-Ur-Rahim, F Arif 2015 15th International Conference on Computational Science and Its …, 2015 | 7 | 2015 |
| Formal verification of sequence diagram using DiVinE MA Basit-Ur-Rahim, F Arif, J Ahmad 2014 World Congress on Computer Applications and Information Systems (WCCAIS …, 2014 | 6 | 2014 |
| A formal analysis of moving target defense MABU Rahim, Q Duan, E Al-Shaer 2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020 | 5 | 2020 |
| Email address mutation for proactive deterrence against lateral spear-phishing attacks MM Islam, E Al-Shaer, MABU Rahim Security and Privacy in Communication Networks: 16th EAI International …, 2020 | 5 | 2020 |
| Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE, Vol. 35 (1) MAB ur Rahim, F Arif Mehran University Research Journal of Engineering and Technolog, Berlin …, 2016 | 5 | 2016 |
| Formal verification of reconfigurable systems M Abdul Basit Ur Rahim, M Ahsan Ur Raheem, MK Sohail, MA Farid, ... Soft Computing, 1-9, 2023 | 2 | 2023 |
| AI Ethics in Healthcare-A Survey B Singh, MABU Rahim, S Hussain, MA Rizwan, J Zhao 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | | 2023 |
| AI Incorporating NLP–to Boldly Go, Where No Algorithms Have Gone Before AF Mohammad, N Alagappan, M Basit World Conference on Information Systems and Technologies, 279-287, 2023 | | 2023 |
| Non-fungible Tokens and Their Applications J Patel, D Fernandes, D Jasani, K Patel, M Abdul Basit Ur Rahim World Conference on Information Systems and Technologies, 288-296, 2023 | | 2023 |
| AI Ethics in Healthcare – A Survey JZ Bhavraj Singh, Muhammad Abdul Basit Ur Rahim, Shahid Hussain, Muhammad ... QRS 2023 - Software Quality, Reliability, and Security, https://qrs23 …, 2023 | | 2023 |
| Formal Modeling and Verification of Industrial Robotic Arm-A Case Study I Zia, MABU Rahim, T Liu, Z He QRS 2023 - Software Quality, Reliability, and Security, 2023 | | 2023 |
| Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges S Sharma, MABU Rahim, S Hussain, MR Abid, T Liu QRS 2023 - Software Quality, Reliability, and Security, 2023 | | 2023 |
| A Formal Verification of Configuration-Based Mutation Techniques for Moving Target Defense MABU Rahim, E Al-Shaer, Q Duan Security and Privacy in Communication Networks: 16th EAI International …, 2020 | | 2020 |
| A formal verification of mutation-based moving target defense MABU Rahim, Q Duan, E Al-Shaer Proceedings of the 6th Annual Symposium on Hot Topics in the Science of …, 2019 | | 2019 |
| 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C)| 979-8-3503-5939-8/23/$31.00© 2023 IEEE| DOI: 10.1109/QRS-C60940. 2023 … MM Abouzeid, A Acakpovi, P Agarwal, A Ahmad, S Akiyama, M Alalfi, ... | | |
Dr. Fahim ArifProfessor of Computer Software Engineering, MCS, National University of Sciences and Technology (NUST)Verified email at mcs.edu.pk
