Adnan Rashid

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 46

Top Topics

Formal Analysis

Theorem Proving

Top Venues

Comput. Networks

Publications

Muhammad Farhan Khan, Ali Raza, Adeel Iqbal, Adnan Rashid, Muhammad Ali Jamshed, Dirk Pesch
Performance Analysis of Intelligent Reflecting Surfaces for 5G/6G-Enabled Future Smart Industries with a Focus on Millimeter-Wave Band Communications. ICC Workshops (2024)
Adnan Rashid, Tommaso Pecorella
Is 6LoWPAN-ND necessary? (Spoiler alert: Yes). Comput. Networks 250 (2024)
Nour Dekhil, Adnan Rashid, Sofiène Tahar
HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM (2024)
Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. 40 (3) (2024)
Ingrid Huso, Marco Olivieri, Leonardo Galgano, Adnan Rashid, Giuseppe Piro, Gennaro Boggia
Design and implementation of a looking-forward Lawful Interception architecture for future mobile communication systems. Comput. Networks 249 (2024)
Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM (2024)
Hafiz Zeeshan Ali, Adnan Rashid
Anti-social Behavior Detection using Multi-lingual Model. ICACS (2023)
Muhammad Farhan Khan, Adeel Iqbal, Atif Shakeel, Adnan Rashid, Dirk Pesch
Enhancing Industrial 4.0 Connectivity: A D2D-Based Algorithm for Blind Spot Mitigation in 5G Future Networks Enabled Smart Industry. GLOBECOM (Workshops) (2023)
Muhammad Farhan Khan, Adnan Rashid, Adeel Iqbal, Dirk Pesch
Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling. PIMRC (2023)
Giacomo Borghini, Stefano Caputo, Lorenzo Mucchi, Adnan Rashid, Sara Jayousi, Matti Hämäläinen, Tuomas Paso, Marco Hernandez
Security of Wireless Body Area Networks for Healthcare Applications: Comparison between ETSI and IEEE Approaches. ISMICT (2023)
Stefano Caputo, Giacomo Borghini, Sara Jayousi, Adnan Rashid, Lorenzo Mucchi
Visible Light Communications for Healthcare Applications: Opportunities and Challenges. ISMICT (2023)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CICM (2022)
Mohammed Asim, Adnan Rashid, Tanvir Ahmad
Scour modeling using deep neural networks based on hyperparameter optimization. ICT Express 8 (3) (2022)
Adnan Rashid, Sa'ed Abed, Osman Hasan
Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. 2022 (1) (2022)
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL. CoRR (2022)
Adnan Rashid, Osman Hasan
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. 112 (2021)
Muhammad Raisuddin Ahmed, Adnan Rashid
Formalization of Transform Methods in Higher-order Logic: A Survey (short paper). CICM Workshops (2021)
Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. 7 (2021)
Muhammad Ahmed, Adnan Rashid
Formalization of Transform Methods in Higher-order Logic: A Survey. CoRR (2021)
Ujala Qasim, Adnan Rashid, Osman Hasan
Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR (2021)
Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR (2021)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC (2020)
Adnan Rashid, Tommaso Pecorella, Francesco Chiti
Toward Resilient Wireless Sensor Networks: A Virtualized Perspective. Sensors 20 (14) (2020)
Adnan Rashid, Osman Hasan
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Formal Aspects Comput. 32 (2-3) (2020)
Adnan Rashid, Ayesha Gauhar, Osman Hasan
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR (2020)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. 17 (9) (2020)
Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access 8 (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR (2020)
Adnan Rashid, Umair Siddique, Sofiène Tahar
Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS (2019)
Adnan Rashid, Osman Hasan
Wearable technologies for hand joints monitoring for rehabilitation: A survey. Microelectron. J. 88 (2019)
Sa'ed Abed, Adnan Rashid, Osman Hasan
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR (2019)
Adnan Rashid, Osman Hasan
Formal analysis of continuous-time systems using Fourier transform. J. Symb. Comput. 90 (2019)
Adnan Rashid, Umair Siddique, Osman Hasan
Formal Verification of Platoon Control Strategies. SEFM (2018)
Adnan Rashid, Osman Hasan
Formalization of Lerch's Theorem using HOL Light. CoRR (2018)
Adnan Rashid, Osman Hasan
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). CICM Workshops (2018)
Adnan Rashid, Osman Hasan
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving. CoRR (2018)
Adnan Rashid, Osman Hasan
Formalization of Lerch's Theorem using HOL Light. FLAP 5 (8) (2018)
Adnan Rashid, Umair Siddique, Osman Hasan
Formal Verification of Platoon Control Strategies. CoRR (2018)
Adnan Rashid, Osman Hasan
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic. CoRR (2018)
Adnan Rashid, Osman Hasan
Formalization of Transform Methods using HOL Light. CoRR (2017)
Adnan Rashid, Osman Hasan
Formal Analysis of Linear Control Systems using Theorem Proving. CoRR (2017)
Adnan Rashid, Osman Hasan
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. CyPhy (2017)
Adnan Rashid, Osman Hasan
Formal Analysis of Linear Control Systems Using Theorem Proving. ICFEM (2017)
Adnan Rashid, Osman Hasan
Formal Analysis of Continuous-time Systems using Fourier Transform. CoRR (2017)
Adnan Rashid, Osman Hasan
Formalization of Transform Methods Using HOL Light. CICM (2017)
Adnan Rashid, Osman Hasan
On the Formalization of Fourier Transform in Higher-order Logic. ITP (2016)
Asad Ahmed, Adnan Rashid, Sohail Iqbal
Analysis of Weather Forecasting Model in PRISM. FIT (2014)
Adnan Rashid
Using a service oriented architecture for simulating algorithmic trading strategies. iiWAS (2010)