Formal modelling of a robust Wireless Sensor Network routing protocol. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (AHS, 2010)

Applying formal modelling to detect DoS attacks in wireless medium. - Kashif Saghar; William Henderson; David Kendall; Ahmed Bouridane (CSNDSP, 2010)

Vulnerability of insens to denial of service attacks. - Kashif Saghar; David Kendall; Ahmed Bouridane (ICASSP, 2011)

Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder. - Shakaiba Majeed; Kashif Saghar; Kashif Hameed; Minsoo Ryu (J. Softw., 2017)

Dynamic Testing of C Program Interfaces Based on FSM Modeling. - Muhammad Sajjad; Muhammad Wasim; Muzammil Shahbaz; Kashif Saghar; Muhammad Usman Ghani Khan (FIT, 2018)

Formal comparison of LEACH and its extensions. - Ainan Ihsan; Kashif Saghar; Tayyba Fatima; Osman Hasan (Comput. Stand. Interfaces, 2019)

Transformer-based sensor failure prediction and classification framework for UAVs. - Muhammad Waqas Ahmad; Muhammad Usman Akram; Mashood Mohammad Mohsan; Kashif Saghar; Rashid Ahmad 009; Wasi Haider Butt (Expert Syst. Appl., 2024)