Kashif Saghar

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 4

Top Topics

Failure Prediction

Communication Protocol

Pspace Complete

Top Venues

Comput. Stand. Interfaces

Expert Syst. Appl.

Publications

Muhammad Waqas Ahmad, Muhammad Usman Akram, Mashood Mohammad Mohsan, Kashif Saghar, Rashid Ahmad, Wasi Haider Butt
Transformer-based sensor failure prediction and classification framework for UAVs. Expert Syst. Appl. 248 (2024)
Ainan Ihsan, Kashif Saghar, Tayyba Fatima, Osman Hasan
Formal comparison of LEACH and its extensions. Comput. Stand. Interfaces 62 (2019)
Muhammad Sajjad, Muhammad Wasim, Muzammil Shahbaz, Kashif Saghar, Muhammad Usman Ghani Khan
Dynamic Testing of C Program Interfaces Based on FSM Modeling. FIT (2018)
Shakaiba Majeed, Kashif Saghar, Kashif Hameed, Minsoo Ryu
Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder. J. Softw. 12 (4) (2017)
Kashif Saghar, David Kendall, Ahmed Bouridane
Vulnerability of insens to denial of service attacks. ICASSP (2011)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Applying formal modelling to detect DoS attacks in wireless medium. CSNDSP (2010)
Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane
Formal modelling of a robust Wireless Sensor Network routing protocol. AHS (2010)