Hamra Afzaal

How to minimize the consumption of resources and processing cost in WSAN ?

N. Zafar, Hamra Afzaal, 2017 .

Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol

Muhammad Umar Janjua, Sarada Prasad Gochhayat, Muhammad Imran, 2022, IEEE Access.

International Conference on Emerging Ubiquitous Systems and Pervasive Networks ( EUSPN 2015 ) Formalizing Mobile Ad Hoc and Sensor Networks using VDM-SL

Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy, 2015 .

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

Muhammad Imran, Nazir Ahmad Zafar, Hamra Afzaal, 2015, 2015 13th International Conference on Frontiers of Information Technology (FIT).

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

Nazir Ahmad Zafar, Hamra Afzaal, Saba Latif, 2018, 2018 International Conference on Frontiers of Information Technology (FIT).

Formal model of earthquake disaster mitigation and management system

Nazir Ahmad Zafar, Hamra Afzaal, N. Zafar, 2017, Complex Adapt. Syst. Model..

Formal verification of fraud-resilience in a crowdsourcing consensus protocol

Hamra Afzaal, Muhammad Imran, M. Janjua, 2023, Comput. Secur..

Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol

Hamra Afzaal, Muhammad Imran, M. Janjua, 2022, Computer Communications.

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

Nazir Ahmad Zafar, Hamra Afzaal, N. Zafar, 2016, Complex Adapt. Syst. Model..