Intelligent traffic monitoring and guidance system for smart city S Latif, H Afzaal, NA Zafar 2018 International Conference on Computing, Mathematics and Engineering …, 2018 | 77 | 2018 |
Robot-based forest fire detection and extinguishing model H Afzaal, NA Zafar 2016 2nd International Conference on Robotics and Artificial Intelligence …, 2016 | 33 | 2016 |
Implementing partitioning detection and connectivity restoration in WSAN using VDM-SL H Afzaal, M Imran, NA Zafar 2015 13th International Conference on Frontiers of Information Technology …, 2015 | 32 | 2015 |
Formal modeling and algorithm of subnet-based backup assigning in WSAN H Afzaal, NA Zafar 2015 International Conference on Information and Communication Technologies …, 2015 | 29 | 2015 |
Formalizing mobile ad hoc and sensor networks Using VDM-SL S Riaz, H Afzaal, M Imran, NA Zafar, MS Aksoy Procedia Computer Science 63, 148-153, 2015 | 29 | 2015 |
Modelling of graph-based smart parking system using internet of things S Latif, H Afzaal, NA Zafar 2018 International Conference on Frontiers of Information Technology (FIT), 7-12, 2018 | 25 | 2018 |
Modeling of sewerage system using internet of things for smart city S Latif, H Afzaal, NA Zafar 2017 International Conference on Frontiers of Information Technology (FIT …, 2017 | 20 | 2017 |
Formal model of earthquake disaster mitigation and management system NA Zafar, H Afzaal Complex Adaptive Systems Modeling 5, 1-29, 2017 | 19 | 2017 |
Formal localized reactive subnet-based failure recovery model for sparsely connected wireless sensor and actor networks H Afzaal, NA Zafar 2015 International Conference on Open Source Systems & Technologies (ICOSST …, 2015 | 18 | 2015 |
Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network H Afzaal, NA Zafar Complex Adaptive Systems Modeling 4, 1-27, 2016 | 17 | 2016 |
Modeling of IoT-based border protection system H Afzaal, NA Zafar 2017 First International Conference on Latest trends in Electrical …, 2017 | 16 | 2017 |
Formal modeling and verification of a blockchain-based crowdsourcing consensus protocol H Afzaal, M Imran, MU Janjua, SP Gochhayat Ieee Access 10, 8163-8183, 2022 | 15 | 2022 |
Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks H Afzaal, NA Zafar, F Alhumaidan International Journal of Distributed Sensor Networks 13 (4), 1550147717704417, 2017 | 14 | 2017 |
Cloud computing based flood detection and management system using WSANs H Afzaal, NA Zafar 2016 International Conference on Emerging Technologies (ICET), 1-6, 2016 | 12 | 2016 |
Automated UML-based Formal Model of E-Health System M Khalid, H Afzaal, S Hassan, NA Zafar, S Latif, A Rehman 2019 13th International Conference on Mathematics, Actuarial Science …, 2019 | 9 | 2019 |
Deterministic formal modeling of smart lightening system using internet of things S Latif, H Afzaal, A Rehman, NA Zafar 2018 12th International Conference on Mathematics, Actuarial Science …, 2018 | 9 | 2018 |
Formal modeling of traffic based flooding procedure of AODV for Mobile Ad hoc Networks T Saeed, Z Iqbal, H Afzaal, NA Zafar 2016 International conference on emerging technologies (ICET), 1-6, 2016 | 9 | 2016 |
Formalism of network restructuring in flood control system H Afzaal, NA Zafar 2017 International Conference on Innovations in Electrical Engineering and …, 2017 | 8 | 2017 |
Battlefield surveillance formalism using WSANs H Afzaal, Z Iqbal, T Saeed, NA Zafar 2017 International Conference on Electrical Engineering (ICEE), 1-6, 2017 | 8 | 2017 |
Analysis and Formal Model of RFID-Based Patient Registration System M Khalid, H Afzaal, S Hassan, NA Zafar International Journal of Advanced Computer Science and Applications 8 (11), 2017 | 8 | 2017 |