Ainan Ihsan

Statistics

Publications

Citations

H-Index

Active since

2015

Affiliations

National University of Sciences and Technology(Current)

COMSATS University Islamabad

Ainan Ihsan is an author at National University of Sciences and Technology specializing in formal methods, protocol formal verification, and formal modeling.

ORCID

Publications per year

2015–2018

Publications

Analysis of LEACH protocol(s) using formal verification

Ainan Ihsan, Kashif Saghar, T. Fatima · 2015 · 22 citations

Computing, Computer Engineering, Computer Science +17

Formal comparison of LEACH and its extensions

Ainan Ihsan, Kashif Saghar, Tayyba Fatima et al. · Computer Standards & Interfaces · 2018 · 20 citations

Engineering, Environmental Engineering, Water Treatment +1

Evaluation of model checkers SPIN AND UPPAAL for testing wireless sensor network routing protocols

T. Fatima, Kashif Saghar, Ainan Ihsan · 2015 · 11 citations

Computing, Computer Engineering, Computer Science +17

1–3 of 3