Hamra Afzaal

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 11

Top Topics

Coloured Petri Nets

Wireless Sensor

Formal Verification

Top Venues

Complex Adapt. Syst. Model.

Publications

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran
Formal Verification of Justification and Finalization in Beacon Chain. IEEE Access 12 (2024)
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua
Formal verification of fraud-resilience in a crowdsourcing consensus protocol. Comput. Secur. 131 (2023)
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol. Comput. Commun. 192 (2022)
Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua, Sarada Prasad Gochhayat
Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol. IEEE Access 10 (2022)
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar
Modelling of Graph-Based Smart Parking System Using Internet of Things. FIT (2018)
Nazir Ahmad Zafar, Hamra Afzaal
Formal model of earthquake disaster mitigation and management system. Complex Adapt. Syst. Model. 5 (2017)
Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar
Modeling of Sewerage System Using Internet of Things for Smart City. FIT (2017)
Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. Int. J. Distributed Sens. Networks 13 (4) (2017)
Hamra Afzaal, Nazir Ahmad Zafar
Modeling of IoT-based border protection system. INTELLECT (2017)
Hamra Afzaal, Nazir Ahmad Zafar
Towards Formalism of Earthquake Detection and Disaster Reduction Using WSANs. FIT (2016)
Hamra Afzaal, Nazir Ahmad Zafar
Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. Complex Adapt. Syst. Model. 4 (2016)
Shehla Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, Mehmet Sabih Aksoy
Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. EUSPN/ICTH (2015)
Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar
Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL. FIT (2015)