School of Electrical Engineering & Computer Science
Faculty Adnan Rashid

Adnan Rashid

Assistant Professor
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
Formal Verification of Universal Numbers using Theorem Proving June 28, 2024 Journal of Electronic Testing - Pages 1-17
Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving March 29, 2024 Journal of Applied Logics - Volume 11, Issue 2, Pages 197-236
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles July 01, 2023 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 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 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 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 PeerJ Computer Science - Volume 7, Article Number e440
Formal Analysis of the Continuous Dynamics of Cyber-physical Systems using Theorem Proving January 01, 2021 Journal of Systems Architecture - Volume 112, Article Number 101850
Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving October 01, 2020 IET Systems Biology - Volume 14, Issue 5, Pages 271-283
Formal Verification of ZigBee-based Routing Protocol for Smart Grids July 01, 2020 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 Journal of Aerospace Information Systems - Pages 1-15
Formal Verification of Robotic Cell Injection Systems upto 4-DOF using HOL Light June 22, 2020 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 IEEE Access - Vol.8(1), Pages 27291-27307
Formal Verification of Robotic Cell Injection Systems November 30, 2019 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 Microelectronics Journal - Volume: 88, Pages: 173-183
Formal Analysis of Continuous-time Systems using Fourier Transform February 01, 2019 Journal of Symbolic Computation - Volume 90, Pages 65-88
Formalization of Lerch's Theorem using HOL Light November 01, 2018 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 PLoS ONE - Volume: 12 Issue: 7 Article Number: e0180179
Conferences
Formal Verification of the Health Code System for Quarantine Management December 23, 2025 - December 24, 2025 Iram Tariq Bhatti, Shahid Ali Khan, Adnan Rashid, Aimal Tariq Rextin, 2025 27th International Multitopic Conference (INMIC)
Formal Verification of ABCD Parameters Based Models for Transmission Lines August 28, 2024 - August 30, 2024 Elif Deniz, Adnan Rashid, Osman Hasan, Sofiene Tahar, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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)
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
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 Transforms Methods in HOL Light July 17, 2017 - July 21, 2017 Adnan Rashid, Osman Hasan, 10th Conference on Intelligent Computer Mathematics
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
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