| 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 |
| 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 |
| 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 | 1 | 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 |
| 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)在 mcs.edu.pk 的电子邮件经过验证
Dr. Fahim ArifProfessor of Computer Software Engineering, MCS, National University of Sciences and Technology (NUST)在 mcs.edu.pk 的电子邮件经过验证