Adnan Rashid
National University of Sciences and Technology
H-index: 10
Asia-Pakistan
Top articles of Adnan Rashid
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving
Journal of Applied Logics—IfCoLog Journal of Logics and their Applications
2024
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles
2023/7/1
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters
2023/2/20
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Anti-social Behavior Detection using Multi-lingual Model
2023/2/20
Adnan Rashid
H-Index: 8
On the Formalization of the Heat Conduction Problem in HOL
2022/9/17
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formalization of bond graph using higher-order-logic theorem proving
ISA transactions
2022/9/1
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal analysis of 2D image processing filters using higher-order logic theorem proving
EURASIP Journal on Advances in Signal Processing
2022/6/27
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formalization of Transform Methods in Higher-order Logic: A Survey
arXiv preprint arXiv:2111.10049
2021/11/19
Muhammad Ahmed
H-Index: 4
Adnan Rashid
H-Index: 8
Formal verification of Matrix based MATLAB models using interactive theorem proving
PeerJ Computer Science
2021/3/22
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
2021
Formal analysis of the continuous dynamics of cyber–physical systems using theorem proving
Journal of Systems Architecture
2021/1/1
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
2021
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving
Journal of Aerospace Information Systems
2020/9
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal verification of robotic cell injection systems up to 4-DOF using HOL Light
Formal Aspects of Computing
2020/7
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21
Formal analysis of the biological circuits using higher-order-logic theorem proving
2020/3/30
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
IEEE Access
2020/2/4
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
2020/1/18
Adnan Rashid
H-Index: 8
Osman Hasan
H-Index: 21