Concepedia

Hamra Afzaal

HA

Statistics

Publications

16

Citations

336

H-Index

12

Active since

2015

Affiliations

COMSATS University Islamabad(Current)

Federation University

Information Technology University

King Saud University

Khwaja Fareed University of Engineering and Information Technology

Hamra Afzaal is an author at COMSATS University Islamabad specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringInternet Of ThingsComputer EngineeringNetwork AnalysisFormal SpecificationFormal VerificationReliability EngineeringSmart City

Publications per year

2015–2024

16

Publications

16

Intelligent traffic monitoring and guidance system for smart city

Saba Latif, Hamra Afzaal, Nazir Ahmad Zafar · 2018 International Conference on Computing, Mathematics and Engineering Technologies (iCoMET) · 2018 · 73 citations

Intelligent Traffic Management, Smart Nodes, Engineering +14

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

Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar · 2015 · 27 citations

Formal Specification, Engineering, Formal Specification Language +12

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

Hamra Afzaal, Nazir Ahmad Zafar · 2015 · 26 citations

Engineering, Network Operation, Network Analysis +16

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

Hamra Afzaal, Muhammad Imran, Muhammad Umar Janjua et al. · IEEE Access · 2022 · 26 citations · Full text

Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL

Shehla Riaz, Hamra Afzaal, Muhammad Imran et al. · Procedia Computer Science · 2015 · 23 citations · Full text

1–5 of 16