Hamra Afzaal

15 papers Misc 4Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
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 J jnl
Formal verification of fraud-resilience in a crowdsourcing consensus protocol.
Comput. Secur.
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua
2022 J jnl
Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol.
IEEE Access
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua, Sarada Prasad Gochhayat
2022 J jnl
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol.
Comput. Commun.
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua
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 Misc conf
Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs.
FIT
Hamra Afzaal, 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