Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Intelligent traffic monitoring and guidance system for smart city
International
,Conference
,IEEE
,2018
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Modelling of Graph-based Smart Parking System using Internet of Things
International
,Conference
,IEEE
,2018
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Deterministic Formal Modeling of Smart Lightening System using Internet of Things
International
,Conference
,IEEE
,2018
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Automated UML-based Formal Model of E-Health System
International
,Conference
,IEEE
,2019
|
Lecturer
,
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
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain
International
,Conference
,IEEE
,2023
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol
International
,Journal
,IEEE
,2022
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol
International
,Journal
,Elsevier
,2022
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Formal verification of fraud-resilience in a crowdsourcing consensus protocol
International
,Journal
,Elsevier
,2023
|
Lecturer
,
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
|
Lecturer
,
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
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Battlefield Surveillance Formalism using WSANs
International
,Conference
,IEEE Internatinal Conference on Electrical Engineering
,2016
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
VDM-SL-based model of border protection system using WSANs
International
,Conference
,1st International Conference on Innovative Computing
,2016
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Formal model of traffic based flooding procedure of AODV for Mobile Ad hoc Networks
International
,Conference
,12th IEEE International Conference on Emerging Technologies
,2017
|
Lecturer
,
Computer Science
Department,
Sahiwal
Campus
|
Robot-based forest fire detection and extinguishing model
International
,Conference
,2nd IEEE International Conference on Robotics and Artificial Intelligence
,2016
|