Adnan Rashid

Assistant Professor
School of Electrical Engineering and Computer Science
Email me
WoS
Scholar
CV
Scopus
LinkedIn
Twitter

About

Dr. Adnan Rashid is working as Assistant Professor in the School of Electrical Engineering and Computer Science. Dr. Adnan Rashid has a PhD in Formal Methods . Dr. Adnan Rashid has published 48 research articles & conference papers having a citation count of 149 , carried out 0 projects and filed 0 intellectual property.

Research Tags

Research Projects

0

Industry Projects

0

Amount Granted

0.0 M

Publications

48

Citations

149

Intellectual Property

0
Publication Types
Project Types
Publications by Year
Projects by Year

Research Collaborators

Collaborator Image

Osman Hasan

University Main Office (UMO)
19 Collaborations
Collaborator Image

Iram Tariq Bhatti

School of Electrical Engineering and Computer Science
1 Collaboration

Education

PhD Formal Methods 2014- 2019
NUST, Islamabad , Pakistan
MPhil Wireless Communication 2010- 2012
Quaid-i-Azam University , Pakistan
MSc Electronics 2006- 2008
Quaid-i-Azam University , Pakistan
BSc Math A Math B Physics 2004- 2006
University of the Punjab , Pakistan

Experience

Assistant Professor 2026- Present
School of Electrical Engineering and Computer Science , NUST
Assistant Professor 2023- 2026
School of Electrical Engineering and Computer Science , NUST
Assistant Professor 2022- 2023
School of Electrical Engineering and Computer Science , NUST
Assistant Professor 2020- 2022
School of Electrical Engineering and Computer Science , NUST
Temporary Visiting Faculty 2020- 2020
NUST School of Electrical Engineering and Computer Science (SEECS) , NUST School of Electrical Engineering and Computer Science (SEECS) ,
Research Associate 2019- 2020
System Analysis and Verification (SAVe) Lab, NUST-SEECS , System Analysis and Verification (SAVe) Lab, NUST-SEECS ,
Visiting Researcher 2017- 2018
Concordia University, Canada , Concordia University, Canada ,
Research Assistant 2013- 2019
System Analysis and Verification (SAVe) Lab, NUST-SEECS , System Analysis and Verification (SAVe) Lab, NUST-SEECS ,

Awards

SAVe Lab Best Researcher
I was awarded for best researcher in the year 2018 in System Analysis and Verification (SAVe) Lab.

Memberships

No project records found for this faculty member
17
Research Articles
28
Conference Proceedings
0
Books
3
Book Chapters
69
Editorial Activities
Predictive Verification of Reliability Evaluation for Multiple Interconnected Microgrids 2026
MO
Mohamed Abdelghany ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Journal: IEEE Systems Journal, Volume:20, Issue:2, Page:552-563
Impact Factor: N/A Citations: 0 Quartile: 1
SDG 9 SDG 11
Formal verification of physical human-robot interaction using interactive theorem proving 2026
SA
Sa'ed Abed ( Kuwait University)
Adnan Rashid
Osman Hasan
Journal: Journal of Intelligent Systems, Volume:35, Issue:1, Article Number 20250101
Impact Factor: N/A Citations: 0 Quartile: 3
SDG 9 SDG 11
Formal reasoning about systems biology using theorem proving 2017
Adnan Rashid
Osman Hasan
UM
Umair Siddique (Concordia University)
SO
Sofiène Tahar (Concordia University)
Journal: PLoS ONE, Volume: 12 Issue: 7 Article Number: e0180179
Impact Factor: 2.766 Citations: 8 Quartile: 1
Formal Analysis of the Continuous Dynamics of Cyber-physical Systems using Theorem Proving 2021
Adnan Rashid
Osman Hasan
Journal: Journal of Systems Architecture, Volume 112, Article Number 101850
Impact Factor: 5.836 Citations: 11 Quartile: 1
Wearable technologies for hand joints monitoring for rehabilitation: A survey 2019
Adnan Rashid
Osman Hasan
Journal: Microelectronics Journal, Volume: 88, Pages: 173-183
Impact Factor: 1.405 Citations: 87 Quartile: 3
Formal Verification of Robotic Cell Injection Systems upto 4-DOF using HOL Light 2020
Adnan Rashid
Osman Hasan
Journal: Formal Aspects of Computing, Pages 1-22
Impact Factor: 0.627 Citations: 5 Quartile: 4
Formal Analysis of Unmanned Aerial Vehicles using Higher-order-logic Theorem Proving 2020
SA
Saed Abed (Kuwait University)
Adnan Rashid
Osman Hasan
Journal: Journal of Aerospace Information Systems, Pages 1-15
Impact Factor: 1.185 Citations: 7 Quartile: 3
Formal Analysis of Continuous-time Systems using Fourier Transform 2019
Adnan Rashid
Osman Hasan
Journal: Journal of Symbolic Computation, Volume 90, Pages 65-88
Impact Factor: 0.673 Citations: 11 Quartile: 4
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving 2020
Adnan Rashid
MU
Muhammad Umair (-)
Osman Hasan
MO
Mohamed H. Zaki (University of Central Florida)
Journal: IEEE Access, Vol.8(1), Pages 27291-27307
Impact Factor: 3.367 Citations: 2 Quartile: 2
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving 2024
EL
Elif Deniz (Concordia University)
Adnan Rashid
Osman Hasan
SO
Sofiene Tahar (Concordia University)
Journal: Journal of Applied Logics, Volume 11, Issue 2, Pages 197-236
Impact Factor: 0.400 Citations: 0 Quartile: 4
SDG 9
Formalization of Lerch's Theorem using HOL Light 2018
Adnan Rashid
Osman Hasan
Journal: Journal of Applied Logics-IFCOLOG Journal of Logics and Their Applications, Volume: 5, Issue: 8, Pages1623-1652
Impact Factor: - Citations: 0 Quartile: N/A
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving 2022
SH
Shahid Ali Murtza
WA
Waqar Ahmed
Adnan Rashid
Osman Hasan
Journal: Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, Pages 1-15
Impact Factor: 1.891 Citations: 0 Quartile: 3
SDG 9
Formal verification of Matrix based MATLAB models using interactive theorem proving 2021
AY
Ayesha Gauhar (-)
Adnan Rashid
Osman Hasan
JO
Joao Bispo (University of Porto)
JO
Joao M.P. Cardoso (University of Porto)
Journal: PeerJ Computer Science, Volume 7, Article Number e440
Impact Factor: 2.411 Citations: 4 Quartile: 2
Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving 2020
SA
Sa'ed Abed (Kuwait University)
Osman Hasan
Adnan Rashid
Journal: IET Systems Biology, Volume 14, Issue 5, Pages 271-283
Impact Factor: 1.615 Citations: 4 Quartile: 4
Formalization of bond graph using higher-order-logic theorem proving 2022
UJ
Ujala Qasim
Adnan Rashid
Osman Hasan
Journal: ISA Transactions, Volume 128, Part B, Pages 453-469
Impact Factor: 5.468 Citations: 2 Quartile: 1
SDG 9
Formal analysis of 2D image processing filters using higher‑order logic theorem proving 2022
Adnan Rashid
SA
Sa'ed Abed (Kuwait University)
Osman Hasan
Journal: EURASIP Journal on Advances in Signal Processing , Volume 2022, Article Number 53
Impact Factor: 1.759 Citations: 0 Quartile: 3
SDG 9
Formal Verification of Universal Numbers using Theorem Proving 2024
Adnan Rashid
AY
Ayesha Gauhar
Osman Hasan
SA
Sa’ed Abed ( Kuwait University)
IM
Imtiaz Ahmad ( Kuwait University)
Journal: Journal of Electronic Testing, Pages 1-17
Impact Factor: 1.100 Citations: 1 Quartile: 4
SDG 9
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving
MO
Mohamed Abdelghany ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: N/A
SDG 9
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover
NO
Nour Dekhil ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: 1
SDG 9
Formal Kinematic Analysis of Epicyclic Bevel Gear Trains
KU
Kubra Aksoy ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: 2
SDG 9
Formal Verification of Coupled Transmission Lines using Theorem Proving
EL
Elif Deniz ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science
Citations: 1
SDG 9
Extending XReason: Formal Explanations for Adversarial Detection
AM
Amira Jemaa ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Networks and Systems
Citations: N/A
SDG 9
Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
Adnan Rashid
SA
Sa'ed Abed ( Kuwait University)
Osman Hasan
Conference: International Conference on Mechatronics and Robotics Engineering
Citations: N/A
SDG 9
Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving
KU
Kubra Aksoy ( Concordia University)
Adnan Rashid
Osman Hasan
SO
Sofiene Tahar ( Concordia University)
Conference: SysCon 2025 - 19th Annual IEEE International Systems Conference, Proceedings
Citations: 1
SDG 9
Formal Analysis of a Macro-Mini Robotic System for Physical Human-Robot Interaction
Adnan Rashid
SA
Sa'ed Abed ( Kuwait University)
Osman Hasan
Conference: International Conference on Engineering and Emerging Technologies, ICEET
Citations: N/A
SDG 3 SDG 9
FETMA: A Tool for Functional Block Diagram and Event Tree Based Safety Analysis
MO
Mohamed Abdelghany (Concordia University)
Adnan Rashid
SO
Sofiene Tahar (Concordia University)
Conference: Lecture Notes in Computer Science
Citations: N/A
SDG 9
On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL
KU
Kubra Aksoy ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar (Concordia University)
Conference: Lecture Notes in Computer Science
Citations: N/A
SDG 9
HOL4PSG: AI-Driven Proof Sequence Generation for the HOL4 Theorem Prover
NO
Nour Dekhil ( Concordia University)
Adnan Rashid
SO
Sofiene Tahar ( Concordia University)
Conference: Proceedings - 2025 IEEE International Conference on Advances in Data-Driven Analytics and Intelligent Systems, ADACIS 2025
Citations: N/A
SDG 9
Formal Verification of ABCD Parameters Based Models for Transmission Lines
EL
Elif Deniz ( Concordia University)
Adnan Rashid
Osman Hasan
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: N/A
Formal Verification of the Health Code System for Quarantine Management
Iram Tariq Bhatti
SH
Shahid Ali Khan
Adnan Rashid
Aimal Tariq Rextin
Conference: 2025 27th International Multitopic Conference (INMIC)
Citations: N/A
Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters
Adnan Rashid
SA
Sa’ed Abed ( Kuwait University)
Osman Hasan
Conference: International Congress on Information and Communication Technology, ICICT 2023
Citations: N/A
Anti-social Behavior Detection using Multi-lingual Model
Adnan Rashid
HA
Hafiz Zeeshan Ali
Conference: 2023 4th International Conference on Advancements in Computational Sciences (ICACS)
Citations: N/A
On the Formalization of the Heat Conduction Problem in HOL
Adnan Rashid
EL
Elif ( Concordia University)
Osman Hasan
SO
Sofiene Tahar ( Concordia University)
Conference: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Citations: N/A
Analysis of Weather Forecasting Model in PRISM
AS
Asad Ahmed
Adnan Rashid
Muhammad Sohail Iqbal
Conference: 12th International Conference on Frontiers of Information Technology
Citations: N/A
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL
Adnan Rashid
KA
Kashif Saghar (Centers of Excellence in Science and Applied Technology)
Osman Hasan
Conference: 12th International Conference on High-capacity Optical Networks and Enabling/Emerging Technologies
Citations: N/A
On the Formalization of Fourier Transform in Higher-order Logic
Adnan Rashid
Osman Hasan
Conference: 7th International Conference on Interactive Theorem Proving
Citations: N/A
Formalization of Transforms Methods in HOL Light
Adnan Rashid
Osman Hasan
Conference: 10th Conference on Intelligent Computer Mathematics
Citations: N/A
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
Adnan Rashid
Osman Hasan
Conference: 1st Workshop on Formal Verification of Physical Systems
Citations: N/A
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
Adnan Rashid
Osman Hasan
Conference: 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
Citations: N/A
Formal Verification of Cyber-Physical Systems using Theorem Proving
Adnan Rashid
UM
Umair Siddique (Concordia University)
SO
Sofiène Tahar (Concordia University)
Conference: 7th International Workshop on Formal Techniques for Safety-Critical Systems
Citations: N/A
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
SA
Sa'ed Abed (Kuwait University)
Adnan Rashid
Osman Hasan
Conference: The 35th ACM/SIGAPP Symposium On Applied Computing
Citations: N/A
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
Adnan Rashid
AY
Ayesha Gauhar
Osman Hasan
Conference: 14th Annual IEEE International Systems Conference
Citations: N/A
Formal Analysis of Linear Control Systems Using Theorem Proving
Adnan Rashid
Osman Hasan
Conference: 19th International Conference on Formal Engineering Methods (ICFEM-2017)
Citations: N/A
Formal Verification of Platoon Control Strategies
Adnan Rashid
U.
U. Siddique (McMaster University)
Osman Hasan
Conference: International Conference on Software Engineering and Formal Methods SEFM 2018
Citations: N/A
Formalization of Transform Methods using HOL Light
Osman Hasan
Adnan Rashid
Conference: 10th Conference on Intelligent Computer Mathematics held from 17-21 Jul 2017 in Scotland
Citations: N/A
Formal Verification of ZigBee-based Routing Protocol for Smart Grids 2020
Adnan Rashid
Osman Hasan
Book: Book on Encyclopedia of Information Science and Technology, Fifth Edition (Chapter 69, Pages 1002-1017)
Citations: N/A
Formal Verification of Robotic Cell Injection Systems 2019
Adnan Rashid
Osman Hasan
Iram Tariq Bhatti
Book: Control Systems Design of Bio-Robotics and Bio-mechatronic with advanced applications (Chapter 20)
Citations: N/A
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles 2023
Adnan Rashid
Osman Hasan
SA
Saed Abed (Kuwait University)
Book: Book on Studies in Computational Intelligence (Chapter 9, Volume 1090, Pages 253-282)
Citations: 2
SDG 9 SDG 11
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
EasyChair 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2026
Reviewed Papers for Journals
Impact Factor: N/A
Transactions on Embedded Computing Systems 2026
Reviewed Papers for Journals
Impact Factor: 3.6
EasyChair 2026
Reviewed Papers for Journals
Impact Factor: N/A
2024
Reviewed Papers for Journals
Impact Factor: 0
N/A 2024
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2024
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2024
Reviewed Papers for Journals
Impact Factor: N/A
N/A 2024
Reviewed Papers for Journals
Impact Factor: N/A
IEEE Access 2023
Reviewed Papers for Journals
Impact Factor: 3.476
2023
Reviewed Papers for Journals
Impact Factor: 0
IEEE Access 2023
Reviewed Papers for Journals
Impact Factor: 3.476
Robotics and Autonomous Systems 2023
Reviewed Papers for Journals
Impact Factor: 3.700
IEEE Access 2022
Reviewed Papers for Journals
Impact Factor: 3.476
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 3.476
2022
Reviewed Papers for Journals
Impact Factor: 5.468
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 0
2022
Reviewed Papers for Journals
Impact Factor: 3.367
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 3.367
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 6.492
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0.863
2020
Reviewed Papers for Journals
Impact Factor: 0.863
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 6.492
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2019
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0
2021
Reviewed Papers for Journals
Impact Factor: 0.863
2020
Reviewed Papers for Journals
Impact Factor: 0.863
No IP records found for this faculty member
No training records found for this faculty member
0
Total Supervisions
0
PhD Supervisions
0
MS Supervisions

Loading PhD supervisions...

Loading MS supervisions...