Author

Hamra Afzaal

Observed names: Afzaal Hamra, Hamra Afzaal Afzaal

Institution: University of Engineering and Technology Lahore

Observed institutions: Information Technology University, University of Engineering and Technology Lahore, COMSATS University Islamabad

ORCID: 0000-0003-4896-811X

Observed ORCID: 0000-0003-4896-811X

OpenAlex ID: A5037290747

Intelligent traffic monitoring and guidance system for smart city

2018 · Saba Latif, Hamra Afzaal, et al. · International Conference on Computing, Mathematics and Engineering Technologies (iCoMET) · 75

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

2022 · Hamra Afzaal, Muhammad Imran, et al. · IEEE Access · 29

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

2015 · Hamra Afzaal, Muhammad Imran, et al. · International Conference on Frontiers of Information Technology (FIT) · 27

Formal modeling and algorithm of subnet-based backup assigning in WSAN

2015 · Hamra Afzaal, Nazir Ahmad Zafar · International Conference on Information and Communication Technologies · 26

Robot-based forest fire detection and extinguishing model

2016 · Hamra Afzaal, Nazir Ahmad Zafar · 23

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL

2015 · Shehla Riaz, Hamra Afzaal, et al. · Procedia Computer Science · 22

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

2018 · Saba Latif, Hamra Afzaal, et al. · International Conference on Frontiers of Information Technology (FIT) · 18

Modeling of Sewerage System Using Internet of Things for Smart City

2017 · Saba Latif Latif, Hamra Afzaal Afzaal, et al. · International Conference on Frontiers of Information Technology (FIT) · 18

Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks

2017 · Hamra Afzaal, Nazir Ahmad Zafar, et al. · International Journal of Distributed Sensor Networks · 15

Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks

2015 · Hamra Afzaal, Nazir Ahmad Zafar · International Conference on Open Source Systems & Technologies (ICOSST) · 15

Formal Verification of Justification and Finalization in Beacon Chain

2024 · Hamra Afzaal, Nazir Ahmad Zafar, et al. · IEEE Access · 14

PDF

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

2016 · Hamra Afzaal, Nazir Ahmad Zafar · Complex Adaptive Systems Modeling · 13

PDF

Formal verification of fraud-resilience in a crowdsourcing consensus protocol

2023 · Hamra Afzaal, Muhammad Imran, et al. · Computers & Security · 12

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

2022 · Hamra Afzaal, Muhammad Imran, et al. · Computer Communications · 12

Cloud computing based flood detection and management system using WSANs

2016 · Hamra Afzaal, Nazir Ahmad Zafar · International Conference on Emerging Technologies · 12

Modeling of IoT-based border protection system

2017 · Hamra Afzaal, Nazir Ahmad Zafar · 11

Formal model of earthquake disaster mitigation and management system

2017 · Nazir Ahmad Zafar, Hamra Afzaal · Complex Adaptive Systems Modeling · 11

PDF

Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain

2024 · Muhammad Rashid, Imran Rasool, et al. · 8

Formalism of network restructuring in Flood Control System

2017 · Hamra Afzaal, Nazir Ahmad Zafar · 8

Deterministic Formal Modeling of Smart Lightening System using Internet of Things

2018 · Saba Latif, Hamra Afzaal, et al. · International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) · 7

Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain

2023 · Muhammad Rashid, Imran Rasool, et al. · International Conference on Emerging Trends in Electrical, Control, and Telecommunication Engineering (ETECTE) · 6

Formal modeling of traffic based flooding procedure of AODV for Mobile Ad hoc Networks

2016 · Tahreem Saeed, Zafar Iqbal, et al. · International Conference on Emerging Technologies · 6

Automated UML-based Formal Model of E-Health System

2019 · Marrium Khalid, Hamra Afzaal, et al. · International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS) · 5

Analysis and Formal Model of RFID-Based Patient Registration System

2017 · Marrium Khalid, Hamra Afzaal, et al. · International Journal of Advanced Computer Science and Applications · 5

PDF

Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs

2016 · Hamra Afzaal, Nazir Ahmad Zafar · International Conference on Frontiers of Information Technology (FIT) · 5

Works count: 42

Citation count: 417

H-index: 12

I10-index: 17