Quick Links

CUI Home Research Portal Scholarships Portal Photo Gallery CUI Blogs CUI Job Portal Open Access Journals CUI Thesis Repository CUI Conference & Workshops CUI Union Catalogue

Research Papers By Author

AuthorsPublications
  
12
Page size:
select
 28 items in 2 pages
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Model Checking of Rewards and Penalties in Beacon Chain

International ,Journal ,Springer ,2024
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal Verification of Justification and Finalization in Beacon Chain

International ,Journal ,IEEE ,2024
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Intelligent traffic monitoring and guidance system for smart city

International ,Conference ,IEEE ,2018
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Modelling of Graph-based Smart Parking System using Internet of Things

International ,Conference ,IEEE ,2018
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Deterministic Formal Modeling of Smart Lightening System using Internet of Things

International ,Conference ,IEEE ,2018
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Automated UML-based Formal Model of E-Health System

International ,Conference ,IEEE ,2019
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain

International ,Conference ,IEEE ,2024
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain

International ,Conference ,IEEE ,2023
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol

International ,Journal ,IEEE ,2022
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol

International ,Journal ,Elsevier ,2022
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal verification of fraud-resilience in a crowdsourcing consensus protocol

International ,Journal ,Elsevier ,2023
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formal Modeling of Mobility for Wi-Fi based Mobile Ad hoc Networks

International ,Conference ,IEEE International Conference on Innovations in Electrical Engineering and Computational Technologies ,2017
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Formalism of Network Restructuring in Flood Control System

International ,Conference ,IEEE International Conference on Innovations in Electrical Engineering and Computational Technologies ,2017
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
Battlefield Surveillance Formalism using WSANs

International ,Conference ,IEEE Internatinal Conference on Electrical Engineering ,2016
Hamra Afzaal
Assistant Professor , Computer Science Department,
Sahiwal Campus
VDM-SL-based model of border protection system using WSANs

International ,Conference ,1st International Conference on Innovative Computing ,2016
Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre