Achieving Consistency and Reusability in Presentation Layer Design using Formal Methods and Design Patterns. - Faheem Sohail; Farooq Zubairi; Nabeel Sabir; Nazir Ahmad Zafar (SCSS (1), 2008)

Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. - Nazir Ahmad Zafar; Ajmal Hussain; Amir Ali (CSSE (2), 2008)

Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages. - Nazir Ahmad Zafar; Nabeel Sabir; Amir Ali (Software Engineering Research and Practice, 2008)

Designing Verifiable and Reusable Data Access Layer Using Formal Methods and Design Patterns. - Faheem Sohail; Farooq Zubairi; Nabeel Sabir; Nazir Ahmad Zafar (ICCMS, 2009)

Formal specification and validation of railway network components using Z notation. - Nazir Ahmad Zafar (IET Softw., 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)

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. - Nazir Ahmad Zafar; Ajmal Hussain; Amir Ali (J. Softw. Eng. Appl., 2010)

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks. - Muhammad Imran 001; Nazir Ahmad Zafar (Sensors, 2012)

Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. - Ishtiaq Ahmed Choudhry; Nazir Ahmad Zafar; Mohammed Al-Zahrani (COMPSAC Workshops, 2013)

Applicability of Integrating Automata and Z: A Case Study. - Nazir Ahmad Zafar; Fahad Alhumaidan (FIT, 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 001; Sana Ullah; Mahmoud S. Fayed (Int. J. Distributed Sens. Networks, 2014)

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. - Shehla Riaz; Hamra Afzaal; Muhammad Imran 001; Nazir Ahmad Zafar; Mehmet Sabih Aksoy (EUSPN/ICTH, 2015)

Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. - Hamra Afzaal; Muhammad Imran 001; Nazir Ahmad Zafar (FIT, 2015)

Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs. - Hamra Afzaal; Nazir Ahmad Zafar (FIT, 2016)

Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph. - Maryam Jamal; Nazir Ahmad Zafar (FIT, 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)

Formal specification and analysis of take-off procedure using VDM-SL. - Nazir Ahmad Zafar (Complex Adapt. Syst. Model., 2016)

Formal verification and validation of a movement control actor relocation algorithm for safety-critical applications. - Muhammad Imran 001; Nazir Ahmad Zafar; Mohammed Abdullah Alnuem; Mehmet Sabih Aksoy; Athanasios V. Vasilakos (Wirel. Networks, 2016)

Modeling of Sewerage System Using Internet of Things for Smart City. - Saba Latif; Hamra Afzaal; Nazir Ahmad Zafar (FIT, 2017)

Modeling of IoT-based border protection system. - Hamra Afzaal; Nazir Ahmad Zafar (INTELLECT, 2017)

Formal model of earthquake disaster mitigation and management system. - Nazir Ahmad Zafar; Hamra Afzaal (Complex Adapt. Syst. Model., 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)

Modelling of Graph-Based Smart Parking System Using Internet of Things. - Saba Latif; Hamra Afzaal; Nazir Ahmad Zafar (FIT, 2018)

Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+. - Saba Latif; Aniqa Rehman; Nazir Ahmad Zafar (FIT, 2019)

IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. - Sidra Iqbal; Nazir Ahmad Zafar; Tariq Ali (FIT, 2021)

Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. - Aqsa Tehseen; Nazir Ahmad Zafar; Tariq Ali (FIT, 2021)

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 (FIT, 2022)

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 (FIT, 2023)

Formal Verification of Justification and Finalization in Beacon Chain. - Hamra Afzaal; Nazir Ahmad Zafar; Aqsa Tehseen; Shaheen Kousar; Muhammad Imran 001 (IEEE Access, 2024)

Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study. - Muhammad Rashid; Imran Rasool; Nazir Ahmad Zafar; Hamra Afzaal (IEEE Access, 2025)

Model Checking of Rewards and Penalties in Beacon Chain. - Hamra Afzaal; Nazir Ahmad Zafar; Aqsa Tehseen; Shaheen Kousar (Int. J. Networked Distributed Comput., 2025)