| Formal modelling of a robust wireless sensor network routing protocol K Saghar, W Henderson, D Kendall, A Bouridane 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 281-288, 2010 | 34 | 2010 |
| Analysis of LEACH protocol (s) using formal verification A Ihsan, K Saghar, T Fatima 2015 12th International Bhurban conference on applied sciences and …, 2015 | 32 | 2015 |
| Applying formal modelling to detect DoS attacks in wireless medium K Saghar, W Henderson, D Kendall, A Bouridane 2010 7th International Symposium on Communication Systems, Networks …, 2010 | 26 | 2010 |
| Formal modelling and analysis of routing protocol security in wireless sensor networks K Saghar, W Henderson, D Kendall 10th Annual Postgraduate Sympo, On the Convergence of Telecommunications …, 2009 | 25 | 2009 |
| Software testing: A survey and tutorial on white and black-box testing of C/C++ programs M Nouman, U Pervez, O Hasan, K Saghar 2016 ieee region 10 symposium (tensymp), 225-230, 2016 | 24 | 2016 |
| Raeed: A solution for hello flood attack K Saghar, D Kendall, A Bouridane 2015 12th International Bhurban Conference on Applied Sciences and …, 2015 | 20 | 2015 |
| Formal comparison of LEACH and its extensions A Ihsan, K Saghar, T Fatima, O Hasan Computer Standards & Interfaces 62, 119-127, 2019 | 16 | 2019 |
| RAEED: A formally verified solution to resolve sinkhole attack in Wireless Sensor Network K Saghar, M Tariq, D Kendall, A Bouridane 2016 13th International Bhurban Conference on Applied Sciences and …, 2016 | 15 | 2016 |
| Achieving energy efficiency through load balancing: A comparison through formal verification of two WSN routing protocols NA Khan, K Saghar, R Ahmad, AK Kiani 2016 13th International Bhurban Conference on Applied Sciences and …, 2016 | 15 | 2016 |
| Vulnerability of INSENS to denial of service attacks K Saghar, D Kendall, A Bouridane 2011 IEEE International Conference on Acoustics, Speech and Signal …, 2011 | 14 | 2011 |
| Formal modelling and analysis of denial of services attacks in wireless sensor networks K Saghar Northumbria University, 2010 | 14 | 2010 |
| Gossip routing protocol for forest fire detection using wireless sensor networks D Yasin, K Saghar, S Younis 2015 12th International Bhurban Conference on Applied Sciences and …, 2015 | 12 | 2015 |
| Application of formal modeling to detect black hole attacks in wireless sensor network routing protocols K Saghar, D Kendall, A Bouridane Proceedings of 2014 11th International Bhurban Conference on Applied …, 2014 | 12 | 2014 |
| Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL A Rashid, O Hasan, K Saghar 2015 12th International Conference on High-capacity Optical Networks and …, 2015 | 11 | 2015 |
| Formal modelling and verification approach for improving probabilistic behaviour of robot swarms S Amin, A Elahi, K Saghar, F Mehmood 2017 14th International Bhurban Conference on Applied Sciences and …, 2017 | 9 | 2017 |
| Evaluation of a sensor network node communication using formal verification M Tariq, K Saghar 2015 12th International Bhurban Conference on Applied Sciences and …, 2015 | 9 | 2015 |
| Automatic detection of black hole attack in wireless network routing protocols K Saghar, D Kendall, A Bouridane IEEE, International Bhurban Conference on Applied Sciences & Technology …, 2014 | 9 | 2014 |
| RAEED-EA: A formally analysed energy efficient WSN routing protocol NA Khan, K Saghar, R Ahmad, AK Kiani 2016 13th International Bhurban Conference on Applied Sciences and …, 2016 | 8 | 2016 |
| Evaluation of model checkers spin and uppaal for testing wireless sensor network routing protocols T Fatima, K Saghar, A Ihsan 2015 12th International Bhurban Conference on Applied Sciences and …, 2015 | 8 | 2015 |
| Formal modeling and verification of Rumor Routing protocol D Yasin, K Saghar, S Younis 2016 13th international Bhurban conference on applied sciences and …, 2016 | 7 | 2016 |
