Sign in
Kashif Saghar
Publication Activity (10 Years)
Years Active: 2010-2019
Publications (10 Years): 3
Top Topics
Reactive Systems
Communication Protocol
Computation Tree Logic
Formal Methods
Top Venues
FIT
J. Softw.
Comput. Stand. Interfaces
</>
Publications
</>
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)