Nazir Ahmad Zafar

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 16

Top Topics

Coloured Petri Nets

Wireless Sensor

Waste Management

Top Venues

Complex Adapt. Syst. Model.

Int. J. Distributed Sens. Networks

Publications

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran
Formal Verification of Justification and Finalization in Beacon Chain. IEEE Access 12 (2024)
Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar
Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker. FIT (2023)
Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool
Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox. FIT (2022)
Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali
IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. FIT (2021)
Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali
Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. FIT (2021)
Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+. FIT (2019)
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar
Modelling of Graph-Based Smart Parking System Using Internet of Things. FIT (2018)
Nazir Ahmad Zafar, Hamra Afzaal
Formal model of earthquake disaster mitigation and management system. Complex Adapt. Syst. Model. 5 (2017)
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar
Modeling of Sewerage System Using Internet of Things for Smart City. FIT (2017)
Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. Int. J. Distributed Sens. Networks 13 (4) (2017)
Hamra Afzaal, Nazir Ahmad Zafar
Modeling of IoT-based border protection system. INTELLECT (2017)
Maryam Jamal, Nazir Ahmad Zafar
Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph. FIT (2016)
Muhammad Imran, Nazir Ahmad Zafar, Mohammed Abdullah Alnuem, Mehmet Sabih Aksoy, Athanasios V. Vasilakos
Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications. Wirel. Networks 22 (1) (2016)
Hamra Afzaal, Nazir Ahmad Zafar
Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs. FIT (2016)
Nazir Ahmad Zafar
Formal specification and analysis of take-off procedure using VDM-SL. Complex Adapt. Syst. Model. 4 (2016)
Hamra Afzaal, Nazir Ahmad Zafar
Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. Complex Adapt. Syst. Model. 4 (2016)
Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy
Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. EUSPN/ICTH (2015)
Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar
Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. FIT (2015)
Nazir Ahmad Zafar, Fahad Alhumaidan
Applicability of Integrating Automata and Z: A Case Study. FIT (2014)
Mohammed Abdullah Alnuem, Nazir Ahmad Zafar, Muhammad Imran, Sana Ullah, Mahmoud S. Fayed
Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs. Int. J. Distributed Sens. Networks 10 (2014)
Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar, Mohammed Al-Zahrani
Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. COMPSAC Workshops (2013)
Muhammad Imran, Nazir Ahmad Zafar
Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks. Sensors 12 (9) (2012)
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 3 (8) (2010)
Nazir Ahmad Zafar
Formal specification and validation of railway network components using Z notation. IET Softw. 3 (4) (2009)
Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar
Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns. ICCMS (2009)
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 2 (2) (2009)
Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali
Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages. Software Engineering Research and Practice (2008)
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. CSSE (2) (2008)
Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar
Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns. SCSS (1) (2008)