Nazir Ahmad Zafar

According to our database, Nazir Ahmad Zafar authored at least 29 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Justification and Finalization in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran

IEEE Access, 2024

2023

Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker.

Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2023

2022

Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.

Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool

Proceedings of the International Conference on Frontiers of Information Technology, 2022

2021

Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System.

Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali

Proceedings of the International Conference on Frontiers of Information Technology, 2021

IoT-based Formal Modelling of emergency message dissemination scheme for VANETs.

Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali

Proceedings of the International Conference on Frontiers of Information Technology, 2021

2019

Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2019

2018

Modelling of Graph-Based Smart Parking System Using Internet of Things.

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2017

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks.

Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan

Int. J. Distributed Sens. Networks, 2017

Formal model of earthquake disaster mitigation and management system.

Nazir Ahmad Zafar, Hamra Afzaal

Complex Adapt. Syst. Model., 2017

Modeling of IoT-based border protection system.

Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the First International Conference on Latest trends in Electrical Engineering and Computing Technologies, 2017

Modeling of Sewerage System Using Internet of Things for Smart City.

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

2016

Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications.

Muhammad Imran, Nazir Ahmad Zafar, Mohammed Abdullah Alnuem, Mehmet Sabih Aksoy, Athanasios V. Vasilakos

Wirel. Networks, 2016

Formal specification and analysis of take-off procedure using VDM-SL.

Nazir Ahmad Zafar

Complex Adapt. Syst. Model., 2016

Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network.

Hamra Afzaal, Nazir Ahmad Zafar

Complex Adapt. Syst. Model., 2016

Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph.

Maryam Jamal, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2016

Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs.

Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2016

2015

Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL.

Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar

Proceedings of the 13th International Conference on Frontiers of Information Technology, 2015

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.

Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015

2014

Formal Specification and Validation of a Localized Algorithm for Segregation of Critical/Noncritical Nodes in MAHSNs.

Mohammed Abdullah Alnuem, Nazir Ahmad Zafar, Muhammad Imran, Sana Ullah, Mahmoud S. Fayed

Int. J. Distributed Sens. Networks, 2014

Applicability of Integrating Automata and Z: A Case Study.

Nazir Ahmad Zafar, Fahad Alhumaidan

Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014

2013

Modeling and Verification of Call Setup Dynamics of LTE Communication Systems.

Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar, Mohammed Al-Zahrani

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks.

Muhammad Imran, Nazir Ahmad Zafar

Sensors, 2012

2010

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

J. Softw. Eng. Appl., 2010

2009

Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

J. Softw. Eng. Appl., 2009

Formal specification and validation of railway network components using Z notation.

Nazir Ahmad Zafar

IET Softw., 2009

Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns.

Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar

Proceedings of the International Conference on Computer Modeling and Simulation, 2009

2008

Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages.

Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata.

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns.

Faheem Sohail, Farooq Zubairi, Nabeel Sabir, Nazir Ahmad Zafar

Proceedings of the Innovations and Advances in Computer Sciences and Engineering, 2008