Author:
Abdul Basit Ur Rahim Muhammad,Ahsan Ur Raheem Muhammad,Sohail Muhammad Khalid,Farid Mohammad Atif,Mufti Muhammad Rafiq
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Theoretical Computer Science,Software
Reference28 articles.
1. Abdul Basit Ur Rahim M, Arif F (2016) Translating activity diagram from duration calculus for modeling of real-time systems and its formal verification using UPPAAL and DiVinE. Mehran Univ Res J Eng Technol 35(1):139–154
2. Abdul Basit Ur Rahim M, Ahmad J, Arif F (2013) Parallel verification of UML using DiVinE tool. In: 5th International conference on computer science and information technology, pp 49–53
3. Abdul Basit Ur Rahim M, Arif F and Ahmad J (2014) Modeling of real-time embedded systems using SysML and its verification using UPPAAL and DiVinE. In: 5th International conference on software engineering and service science, pp 132–136. https://doi.org/10.1109/IC-SESS.2014.6933529.
4. Abdul Basit Ur Rahim M, Al-Shaer E, Duan Q (2020a) A formal verification of configuration-based mutation techniques for moving target defense, security and privacy in communication networks. Secure Comm, 61–79
5. Abdul Basit Ur Rahim M, Duan Q and Al-Shaer E (2020b) A formal analysis of moving target defense. In: IEEE 44th annual computers, software, and applications conference (COMPSAC), pp 1802–1807
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Using Deep Reinforcement Learning And Formal Verification in Safety Critical Systems: Strategies and Challenges;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
2. Formal Modeling and Verification of Industrial Robotic Arm - A Case Study;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22