Hamra Afzal

Email

phdcs17003 at itu.edu.pk

About Me

BSCS from COMSATS Institute of Information Technology, Sahiwal

MSCS from COMSATS Institute of Information Technology, Sahiwal

1 year job experience at COMSATS Institute of Information Technology, Sahiwal

Address

4th Floor ASTP.

Research

Formal Methods and Wireless Networks

Teaching

Publications

Journal

Bibtex Hamra Afzaal, Nazir Ahmad Zafar, Fahad Alhumaidan, Hybrid subnet-based node failure recovery formal procedure in wireless sensor an d actor networks, International Journal of Distributed Sensor Networks, Vol. 13(4), pp. 1-17, 2017. (Impact factor: 1.2).
Bibtex Nazir Ahmad Zafar, Hamra Afzaal, Formal Model of Earthquake Disaster Mitigation and Management System, Complex Adaptive Systems Modeling, pp. 1-29, 2017. (ISI Indexed)
Bibtex Hamra Afzaal and Nazir Ahmad Zafar, Formal analysis of subnet-based failure recovery algorithm in WSAN, Complex Adaptive Systems Modeling, Vol. 4(1), pp. 1-27, 2016. (ISI Indexed)
Bibtex Hamra Afzaal and Nazir Ahmad Zafar, Formalism of Few Important Concepts of Information Security in WSAN, International Journal of Computer Science and Information Security, Vol. 14, pp. 575-580, 2016. (ISI Indexed)
Bibtex Hamra Afzaal and Nazir Ahmad Zafar, Algorithm and Formal Specification of Subnet-Based Communication in WSANs, Bahria University Journal of Information & Communication Technologies, vol. 9, pp. 14-23, 2016.
Bibtex Shehla. Riaz, Hamra Afzaal, Muhammad Imran, Nazir Ahmad Zafar, and Mehmet Sabih Aksoy, Formalizing Mobile Ad Hoc and Sensor Networks using VDM-SL, Procedia Computer Science, vol. 63, pp.148-53, 2015. (Indexed in dblp), (Selected from The 6th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN))