| 2023 | FIT | 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 |
| 2022 | FIT | 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 |
| 2021 | FIT | IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. | Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali |
| 2021 | FIT | Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. | Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali |
| 2019 | FIT | Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+. | Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar |
| 2018 | FIT | Modelling of Graph-Based Smart Parking System Using Internet of Things. | Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar |
| 2017 | FIT | Modeling of Sewerage System Using Internet of Things for Smart City. | Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar |
| 2016 | FIT | Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs. | Hamra Afzaal, Nazir Ahmad Zafar |
| 2016 | FIT | Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed Graph. | Maryam Jamal, Nazir Ahmad Zafar |
| 2015 | EUSPN | Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. | Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy |
| 2015 | FIT | Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. | Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar |
| 2014 | FIT | Applicability of Integrating Automata and Z: A Case Study. | Nazir Ahmad Zafar, Fahad Alhumaidan |
| 2013 | COMPSAC | Modeling and Verification of Call Setup Dynamics of LTE Communication Systems. | Ishtiaq Ahmed Choudhry, Nazir Ahmad Zafar, Mohammed S. Al-Zahrani |