Summary
Academic Background
PhD
(Formal Methods) NUST, Islamabad
February 04, 2014 - April 01, 2019
Honours and Awards
SAVe Lab Best Researcher
I was awarded for best researcher in the year 2018 in System Analysis and Verification (SAVe) Lab.
Publications
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles
July 01, 2023
Adnan Rashid, Osman Hassan, Saed Abed,
Book on Studies in Computational Intelligence - Chapter 9, Volume 1090, Pages 253-282
Formalization of bond graph using higher-order-logic theorem proving
September 01, 2022
Ujala Qasim, Adnan Rashid, Osman Hasan,
ISA Transactions - Volume 128, Part B, Pages 453-469
Formal analysis of 2D image processing filters using higher‑order logic theorem proving
June 27, 2022
Adnan Rashid, Sa'ed Abed, Osman Hasan,
EURASIP Journal on Advances in Signal Processing - Volume 2022, Article Number 53
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
January 25, 2022
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan,
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability - Pages 1-15
Formal verification of Matrix based MATLAB models using interactive theorem proving
March 22, 2021
Ayesha Gauhar, Adnan Rashid, Osman Hasan, Joao Bispo, Joao M.P. Cardoso,
PeerJ Computer Science - Volume 7, Article Number e440
Formal Analysis of the Continuous Dynamics of Cyber-physical Systems using Theorem Proving
January 01, 2021
Adnan Rashid, Osman Hasan,
Journal of Systems Architecture - Volume 112, Article Number 101850
Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving
October 01, 2020
Sa'ed Abed, Adnan Rashid, Osman Hasan,
IET Systems Biology - Volume 14, Issue 5, Pages 271-283
Formal Verification of ZigBee-based Routing Protocol for Smart Grids
July 01, 2020
Adnan Rashid, Osman Hasan,
Book on Encyclopedia of Information Science and Technology, Fifth Edition - Chapter 69, Pages 1002-1017
Formal Analysis of Unmanned Aerial Vehicles using Higher-order-logic Theorem Proving
June 25, 2020
Saed Abed, Adnan Rashid, Osman Hasan,
Journal of Aerospace Information Systems - Pages 1-15
Formal Verification of Robotic Cell Injection Systems upto 4-DOF using HOL Light
June 22, 2020
Adnan Rashid, Osman Hasan,
Formal Aspects of Computing - Pages 1-22
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
February 13, 2020
Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki,
IEEE Access - Vol.8(1), Pages 27291-27307
Formal Verification of Robotic Cell Injection Systems
November 30, 2019
Adnan Rashid, Osman Hasan, Iram Tariq Bhatti,
Control Systems Design of Bio-Robotics and Bio-mechatronic with advanced applications - Chapter 20
Wearable technologies for hand joints monitoring for rehabilitation: A survey
June 01, 2019
Adnan Rashid, Osman Hasan,
Microelectronics Journal - Volume: 88, Pages: 173-183
Formal Analysis of Continuous-time Systems using Fourier Transform
February 01, 2019
Adnan Rashid, Osman Hasan,
Journal of Symbolic Computation - Volume 90, Pages 65-88
Formalization of Lerch's Theorem using HOL Light
November 01, 2018
Adnan Rashid, Osman Hasan,
Journal of Applied Logics-IFCOLOG Journal of Logics and Their Applications - Volume: 5, Issue: 8, Pages1623-1652
Formal reasoning about systems biology using theorem proving
July 03, 2017
Adnan Rashid, Osman Hasan, Umair Siddique, Sofiène Tahar,
PLoS ONE - Volume: 12 Issue: 7 Article Number: e0180179
Conferences
Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters
February 20, 2023 - February 23, 2023
Adnan Rashid, Sa’ed Abed, Osman Hassan,
International Congress on Information and Communication Technology, ICICT 2023
Anti-social Behavior Detection using Multi-lingual Model
February 20, 2023 - February 22, 2023
Adnan Rashid, Hafiz Zeeshan Ali,
2023 4th International Conference on Advancements in Computational Sciences (ICACS)
On the Formalization of the Heat Conduction Problem in HOL
September 19, 2022 - September 23, 2022
Adnan Rashid, Elif , Osman Hassan, Sofiene Tahar,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
August 24, 2020 - August 27, 2020
Adnan Rashid, Ayesha Gauhar, Osman Hasan,
14th Annual IEEE International Systems Conference
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
March 30, 2020 - April 03, 2020
Sa'ed Abed, Adnan Rashid, Osman Hasan,
The 35th ACM/SIGAPP Symposium On Applied Computing
Formal Verification of Cyber-Physical Systems using Theorem Proving
November 09, 2019 - November 09, 2019
Adnan Rashid, Umair Siddique, Sofiène Tahar,
7th International Workshop on Formal Techniques for Safety-Critical Systems
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
August 13, 2018 - August 17, 2018
Adnan Rashid, Osman Hasan,
1st Workshop on Formal Verification of Physical Systems
Formal Verification of Platoon Control Strategies
June 27, 2018 - June 29, 2018
Adnan Rashid, U. Siddique, Osman Hasan,
International Conference on Software Engineering and Formal Methods SEFM 2018
Formal Analysis of Linear Control Systems Using Theorem Proving
November 13, 2017 - November 17, 2017
Adnan Rashid, Osman Hasan,
19th International Conference on Formal Engineering Methods (ICFEM-2017)
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
October 15, 2017 - October 20, 2017
Adnan Rashid, Osman Hasan,
7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems
Formalization of Transform Methods using HOL Light
July 17, 2017 - July 21, 2017
Osman Hassan , Adnan Rashid,
10th Conference on Intelligent Computer Mathematics held from 17-21 Jul 2017 in Scotland
Formalization of Transforms Methods in HOL Light
July 17, 2017 - July 21, 2017
Adnan Rashid, Osman Hasan,
10th Conference on Intelligent Computer Mathematics
On the Formalization of Fourier Transform in Higher-order Logic
August 22, 2016 - August 25, 2016
Adnan Rashid, Osman Hasan,
7th International Conference on Interactive Theorem Proving
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL
December 21, 2015 - December 23, 2015
Adnan Rashid, Kashif Saghar, Osman Hasan,
12th International Conference on High-capacity Optical Networks and Enabling/Emerging Technologies
Analysis of Weather Forecasting Model in PRISM
December 17, 2014 - December 19, 2014
Asad Ahmed, Adnan Rashid, Sohail Iqbal,
12th International Conference on Frontiers of Information Technology
Temporary Visiting Faculty
NUST School of Electrical Engineering and Computer Science (SEECS)
February 03, 2020 - August 03, 2020
Research Associate
System Analysis and Verification (SAVe) Lab, NUST-SEECS
March 01, 2019 - December 04, 2020
Visiting Researcher
Concordia University, Canada
September 01, 2017 - February 28, 2018
Research Assistant
System Analysis and Verification (SAVe) Lab, NUST-SEECS
May 01, 2013 - February 28, 2019