Hamra Afzaal

According to our database, Hamra Afzaal authored at least 13 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Formal Verification of Justification and Finalization in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran

IEEE Access, 2024

2023

Formal verification of fraud-resilience in a crowdsourcing consensus protocol.

Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua

Comput. Secur., 2023

2022

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

Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua

Comput. Commun., 2022

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

Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua, Sarada Prasad Gochhayat

IEEE Access, 2022

2018

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

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

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

Formal model of earthquake disaster mitigation and management system.

Nazir Ahmad Zafar, Hamra Afzaal

Complex Adapt. Syst. Model., 2017

Modeling of IoT-based border protection system.

Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the First International Conference on Latest trends in Electrical Engineering and Computing Technologies, 2017

Modeling of Sewerage System Using Internet of Things for Smart City.

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the 2017 International Conference on Frontiers of Information Technology, 2017

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

Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs.

Hamra Afzaal, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2016

2015

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

Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar

Proceedings of the 13th International Conference on Frontiers of Information Technology, 2015

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.

Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy

Proceedings of the 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2015)/ The 5th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2015)/ Affiliated Workshops, 2015