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