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 33 research articles & conference papers having a citation count of 139 , carried out 0 projects and filed 0 intellectual property.

Research Tags

Research Projects

0

Industry Projects

0

Amount Granted

0.0 M

Publications

33

Citations

139

Intellectual Property

0
Publication Types
Project Types
Publications by Year
Projects by Year

Research Collaborators

Collaborator Image

Osman Hasan

University Main Office (UMO)
18 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 2023- Present
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
15
Research Articles
15
Conference Proceedings
0
Books
3
Book Chapters
59
Editorial Activities
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
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
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
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
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
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
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
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
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: 83 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 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: 10 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
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
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
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
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
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
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...