Adnan Rashid

According to our database, Adnan Rashid authored at least 35 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles.

Adnan Rashid, Osman Hasan, Sa'ed Abed

Proceedings of the Mobile Robot: Motion Control and Path Planning, 2023

Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling.

Muhammad Farhan Khan, Adnan Rashid, Adeel Iqbal, Dirk Pesch

Proceedings of the 34th IEEE Annual International Symposium on Personal, 2023

Visible Light Communications for Healthcare Applications: Opportunities and Challenges.

Stefano Caputo, Giacomo Borghini, Sara Jayousi, Adnan Rashid, Lorenzo Mucchi

Proceedings of the 17th IEEE International Symposium on Medical Information and Communication Technology, 2023

Security of Wireless Body Area Networks for Healthcare Applications: Comparison between ETSI and IEEE Approaches.

Giacomo Borghini, Stefano Caputo, Lorenzo Mucchi, Adnan Rashid, Sara Jayousi, Matti Hämäläinen, Tuomas Paso, Marco Hernandez

Proceedings of the 17th IEEE International Symposium on Medical Information and Communication Technology, 2023

Anti-social Behavior Detection using Multi-lingual Model.

Hafiz Zeeshan Ali, Adnan Rashid

Proceedings of the 4th International Conference on Advancements in Computational Sciences, 2023

Enhancing Industrial 4.0 Connectivity: A D2D-Based Algorithm for Blind Spot Mitigation in 5G Future Networks Enabled Smart Industry.

Muhammad Farhan Khan, Adeel Iqbal, Atif Shakeel, Adnan Rashid, Dirk Pesch

Proceedings of the IEEE Globecom Workshops 2023, 2023

2022

Scour modeling using deep neural networks based on hyperparameter optimization.

Mohammed Asim, Adnan Rashid, Tanvir Ahmad

ICT Express, 2022

Formal analysis of 2D image processing filters using higher-order logic theorem proving.

Adnan Rashid, Sa'ed Abed, Osman Hasan

EURASIP J. Adv. Signal Process., 2022

On the Formalization of the Heat Conduction Problem in HOL.

Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

2021

Formal verification of Matrix based MATLAB models using interactive theorem proving.

Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso

PeerJ Comput. Sci., 2021

Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving.

Adnan Rashid, Osman Hasan

J. Syst. Archit., 2021

Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving.

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan

CoRR, 2021

Formalization of Bond Graph using Higher-order-logic Theorem Proving.

Ujala Qasim, Adnan Rashid, Osman Hasan

CoRR, 2021

Formalization of Transform Methods in Higher-order Logic: A Survey.

Muhammad Ahmed, Adnan Rashid

CoRR, 2021

Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).

Muhammad Ahmed, Adnan Rashid

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2020

Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving.

Sa'ed Abed, Adnan Rashid, Osman Hasan

J. Aerosp. Inf. Syst., September, 2020

Toward Resilient Wireless Sensor Networks: A Virtualized Perspective.

Adnan Rashid, Tommaso Pecorella, Francesco Chiti

Sensors, 2020

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light.

Adnan Rashid, Osman Hasan

Formal Aspects Comput., 2020

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper).

Adnan Rashid, Umair Siddique, Sofiène Tahar

CoRR, 2020

FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits.

Adnan Rashid, Ayesha Gauhar, Osman Hasan

CoRR, 2020

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.

Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki

IEEE Access, 2020

Formal analysis of the biological circuits using higher-order-logic theorem proving.

Sa'ed Abed, Adnan Rashid, Osman Hasan

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

Wearable technologies for hand joints monitoring for rehabilitation: A survey.

Adnan Rashid, Osman Hasan

Microelectron. J., 2019

Formal analysis of continuous-time systems using Fourier transform.

Adnan Rashid, Osman Hasan

J. Symb. Comput., 2019

Formal Verification of Cyber-Physical Systems Using Theorem Proving.

Adnan Rashid, Umair Siddique, Sofiène Tahar

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2018

Formalization of Lerch's Theorem using HOL Light.

Adnan Rashid, Osman Hasan

FLAP, 2018

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic.

Adnan Rashid, Osman Hasan

CoRR, 2018

Formal Verification of Platoon Control Strategies.

Adnan Rashid, Umair Siddique, Osman Hasan

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper).

Adnan Rashid, Osman Hasan

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

Formalization of Transform Methods Using HOL Light.

Adnan Rashid, Osman Hasan

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal Analysis of Linear Control Systems Using Theorem Proving.

Adnan Rashid, Osman Hasan

Proceedings of the Formal Methods and Software Engineering, 2017

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving.

Adnan Rashid, Osman Hasan

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

2016

On the Formalization of Fourier Transform in Higher-order Logic.

Adnan Rashid, Osman Hasan

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2014

Analysis of Weather Forecasting Model in PRISM.

Asad Ahmed, Adnan Rashid, Sohail Iqbal

Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014

2010

Using a service oriented architecture for simulating algorithmic trading strategies.

Adnan Rashid

Proceedings of the iiWAS'2010, 2010