Hamra Afzaal
COMSATS Institute of Information Technology
35 Papers
182 Citations
Hamra Afzaal is an academic researcher from COMSATS Institute of Information Technology. The author has contributed to research in topics: Formal specification & Correctness. The author has an hindex of 10, co-authored 25 publications.
Chat about Author
Papers
Intelligent traffic monitoring and guidance system for smart city
Saba Latif,Hamra Afzaal,Nazir Ahmad Zafar +2 more
- 03 Mar 2018
TL;DR: This paper focuses on intelligent traffic monitoring system using graph theory and formal methods and has various nodes that are assumed within a city including roads, objects and traffic signals to make a collective intelligent traffic guidance and monitoring system.
68
Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL
Hamra Afzaal,Muhammad Imran,Nazir Ahmad Zafar +2 more
- 14 Dec 2015
TL;DR: This paper introduces an alternative approach for formal specification, implementation and analysis of the Partitioning Detection and Connectivity Restoration (PCR) algorithm in WSANs by model WSAN as a dynamic graph and using VDM-SL to describe the formal specification of the algorithm.
29
Formal modeling and algorithm of subnet-based backup assigning in WSAN
Hamra Afzaal,Nazir Ahmad Zafar +1 more
- 01 Dec 2015
TL;DR: This paper proposes a model of Subnet-Based Backup Assigning (SBBA) algorithm in wireless sensor and actor networks which assumes partitioning in WSAN into subnets, model topology and subnet of WSAN as dynamic graph and implement SBBA into a corresponding formal specification using VDM-SL.
26
Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL☆
TL;DR: This paper model MAHSNs as dynamic graph and employ VDM-SL for formal specification and verification of LASCNN algorithm and analyzes and validated the specification using V DM-SL toolbox.
24
Robot-based forest fire detection and extinguishing model
Hamra Afzaal,Nazir Ahmad Zafar +1 more
- 01 Nov 2016
TL;DR: Forest Fire Detection and Extinguishing Algorithm using Wireless Sensor and Actor Networks (WSANs) is proposed in this work to detect and extinguish fire.
21