Nazir Ahmad Zafar

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