|
1
2024
|
1
Muhammad Rashid,Nazir Ahmad Zafar,Hamra Afzaal''Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain'',IEEE,2024.
|
|
2
2024
|
2
Hamra Afzaal,Nazir Ahmad Zafar,Aqsa Tehseen''Formal Verification of Justification and Finalization in Beacon Chain'',IEEE,2024.
|
|
3
2024
|
3
Hamra Afzaal,Nazir Ahmad Zafar,Aqsa Tehseen''Model Checking of Rewards and Penalties in Beacon Chain'',Springer,2024.
|
|
4
2023
|
4
Hamra Afzaal,Muhammad Imran,Muhammad Umar Janjua''Formal verification of fraud-resilience in a crowdsourcing consensus protocol'',Elsevier,2023.
|
|
5
2023
|
5
Muhammad Rashid,Nazir Ahmad Zafar,Hamra Afzaal''Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain'',IEEE,2023.
|
|
6
2022
|
6
Hamra Afzaal,Muhammad Imran,Muhammad Umar Janjua''Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol'',Elsevier,2022.
|
|
7
2022
|
7
Hamra Afzaal,Muhammad Imran,Muhammad Umar Janjua''Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol'',IEEE,2022.
|
|
8
2019
|
8
Marrium Khalid,Hamra Afzaal,Nazir Ahmad Zafar''Automated UML-based Formal Model of E-Health System'',IEEE,2019.
|
|
9
2018
|
9
Saba Latif,Hamra Afzaal,Nazir Ahmad Zafar''Deterministic Formal Modeling of Smart Lightening System using Internet of Things'',IEEE,2018.
|
|
10
2018
|
10
Saba Latif,Hamra Afzaal,Nazir Ahmad Zafar''Modelling of Graph-based Smart Parking System using Internet of Things'',IEEE,2018.
|
|
11
2018
|
11
Saba Latif,Hamra Afzaal,Nazir Ahmad Zafar''Intelligent traffic monitoring and guidance system for smart city'',IEEE,2018.
|
|
12
2017
|
12
Tahreem Saeed,Zafar Iqbal,Hamra Afzaal, Nazir Ahmad Zafar''Formal model of traffic based flooding procedure of AODV for Mobile Ad hoc Networks'',12th IEEE International Conference on Emerging Technologies ,2017.
|
|
13
2017
|
13
Hamra Afzaal,Nazir Ahmad Zafar,''Formalism of Network Restructuring in Flood Control System'',IEEE International Conference on Innovations in Electrical Engineering and Computational Technologies ,2017.
|
|
14
2017
|
14
Tahreem Saeed,Zafar Iqbal,Hamra Afzaal, Nazir Ahmad Zafar''Formal Modeling of Mobility for Wi-Fi based Mobile Ad hoc Networks'',IEEE International Conference on Innovations in Electrical Engineering and Computational Technologies,2017.
|
|
15
2016
|
15
Hamra Afzaal,Tahreem Saeed,Zafar Iqbal, Nazir Ahmad Zafar''VDM-SL-based model of border protection system using WSANs'',1st International Conference on Innovative Computing ,2016.
|
|
16
2016
|
16
Hamra Afzaal,Zafar Iqbal,Tahreem Saeed, Nazir Ahmad Zafar''Battlefield Surveillance Formalism using WSANs'',IEEE Internatinal Conference on Electrical Engineering,2016.
|
|
17
2016
|
17
Hamra Afzaal,Nazir Ahmad Zafar,''Centralized confidentiality-based formal algorithm in WSANs'',1st National Conference on Trends and Innovations in Information Technology,2016.
|
|
18
2016
|
18
Hamra Afzaal,Nazir Ahmad Zafar,''Towards Formalism of Earthquake Detection and Disaster Reduction using WSANs'',14th IEEE International Conference on Frontiers of Information Technology ,2016.
|
|
19
2016
|
19
Hamra Afzaal,Nazir Ahmad Zafar,''Cloud computing based flood detection and management system using WSANs'',12th IEEE International Conference on Emerging Technologies ,2016.
|
|
20
2016
|
20
Hamra Afzaal,Nazir Ahmad Zafar,''Robot-based forest fire detection and extinguishing model'',2nd IEEE International Conference on Robotics and Artificial Intelligence,2016.
|
|
21
2016
|
21
Hamra Afzaal,Nazir Ahmad Zafar,''Formal analysis of subnet-based failure recovery algorithm in WSAN'',Complex Adaptive Systems Modeling, Springer,2016.
|
|
22
2016
|
22
Hamra Afzaal,Nazir Ahmad Zafar,''Formalism of Few Important Concepts of Information Security in WSAN'',International Journal of Computer Science and Information Security,2016.
|
|
23
2016
|
23
Hamra Afzaal,Nazir Ahmad Zafar,''Algorithm and Formal Specification of Subnet-Based Communication in WSANs'',Bahria University Journal of Information & Communication Technologies,2016.
|
|
24
2015
|
24
Hamra Afzaal,Nazir Ahmad Zafar,''Algorithm and formal specification of subnet-based communication in WSANs'',1st International Conference on Dependable Embedded Wireless and Sensing Networks ,2015.
|
|
25
2015
|
25
Shehla Riaz,Hamra Afzaal,Muhammad Imran, Nazir Ahmad Zafar, Memet Sabih Aksoy''Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL'',Procedia Computer Science,2015.
|
|
26
2015
|
26
Hamra Afzaal,Muhammad Imran,Nazir Ahmad Zafar''Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL'',13th IEEE International Conference on Frontiers of Information Technology (FIT),2015.
|
|
27
2015
|
27
Hamra Afzaal,Nazir Ahmad Zafar,''Formal modeling and algorithm of subnet-based backup assigning in WSAN'',6th IEEE International Conference on Information and Communication Technologies ,2015.
|
|
28
2015
|
28
Hamra Afzaal,Nazir Ahmad Zafar,''Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks'',9th IEEE International Conference on Open Source Systems and Technologies,2015.
|