Adnan Rashid - RankMe

61 papers B 3C 8Misc 2Journal 35Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fixing the C-Flag in the Extended Address Registration Option (EARO). RFC Pascal Thubert, Adnan Rashid
2026	J	`jnl`	IoD-Sim: an open-source simulator for 6 G integrated terrestrial/non-terrestrial networks. Comput. Networks Giovanni Grieco, Daniele Pugliese, Adnan Rashid, Ilaria Cianci
2026	J	`jnl`	On the Formalization of Network Topology Matrices in HOL. CoRR Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar
2025	J	`jnl`	Extending XReason: Formal Explanations for Adversarial Detection. CoRR Amira Jemaa, Adnan Rashid, Sofiène Tahar
2025	—	`conf`	Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving. SysCon Kubra Aksoy, Adnan Rashid, Osman Hasan, Sofiène Tahar
2025	—	`conf`	Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications. ICMRE Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications. CoRR Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Proof Recommendation System for the HOL4 Theorem Prover. CoRR Nour Dekhil, Adnan Rashid, Sofiène Tahar
2024	C	`conf`	A Framework for Formal Probabilistic Risk Assessment Using HOL Theorem Proving. CICM Mohamed Abdelghany, Adnan Rashid, Sofiène Tahar
2024	J	`jnl`	Design and implementation of a looking-forward Lawful Interception architecture for future mobile communication systems. Comput. Networks Ingrid Huso, Marco Olivieri, Leonardo Galgano, Adnan Rashid, Giuseppe Piro, Gennaro Boggia
2024	J	`jnl`	Enhancing spectrum sensing efficiency in multi-channel cognitive device-to-device networks: Medium Access Control layer strategies and analysis. IET Wirel. Sens. Syst. Irfan Latif Khan, Adeel Iqbal, Ali Nauman, Muhammad Ali Jamshed, Atif Shakeel, Riaz Hussain, Adnan Rashid, Tommaso Pecorella
2024	C	`conf`	Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. ICFEM Kubra Aksoy, Adnan Rashid, Sofiène Tahar
2024	—	`conf`	Formal Verification of ABCD Parameters Based Models for Transmission Lines. SCSS Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2024	C	`conf`	Formal Verification of Coupled Transmission Lines using Theorem Proving. VECoS Elif Deniz, Adnan Rashid, Sofiène Tahar
2024	J	`jnl`	Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
2024	C	`conf`	HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover. CICM Nour Dekhil, Adnan Rashid, Sofiène Tahar
2024	J	`jnl`	Is 6LoWPAN-ND necessary? (Spoiler alert: Yes). Comput. Networks Adnan Rashid, Tommaso Pecorella
2024	—	`conf`	Performance Analysis of Intelligent Reflecting Surfaces for 5G/6G-Enabled Future Smart Industries with a Focus on Millimeter-Wave Band Communications. ICC Workshops Muhammad Farhan Khan, Ali Raza, Adeel Iqbal, Adnan Rashid, Muhammad Ali Jamshed, Dirk Pesch
2023	—	`conf`	Anti-social Behavior Detection using Multi-lingual Model. ICACS Hafiz Zeeshan Ali, Adnan Rashid
2023	B	`conf`	Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling. PIMRC Muhammad Farhan Khan, Adnan Rashid, Adeel Iqbal, Dirk Pesch
2023	—	`conf`	Enhancing Industrial 4.0 Connectivity: A D2D-Based Algorithm for Blind Spot Mitigation in 5G Future Networks Enabled Smart Industry. GLOBECOM (Workshops) Muhammad Farhan Khan, Adeel Iqbal, Atif Shakeel, Adnan Rashid, Dirk Pesch
2023	—	`conf`	Security of Wireless Body Area Networks for Healthcare Applications: Comparison between ETSI and IEEE Approaches. ISMICT Giacomo Borghini, Stefano Caputo, Lorenzo Mucchi, Adnan Rashid, Sara Jayousi, Matti Hämäläinen, Tuomas Paso, Marco Hernandez
2023	—	`ch.`	Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. Mobile Robot: Motion Control and Path Planning Adnan Rashid, Osman Hasan, Sa'ed Abed
2023	—	`conf`	Visible Light Communications for Healthcare Applications: Opportunities and Challenges. ISMICT Stefano Caputo, Giacomo Borghini, Sara Jayousi, Adnan Rashid, Lorenzo Mucchi
2022	J	`jnl`	Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. Adnan Rashid, Sa'ed Abed, Osman Hasan
2022	C	`conf`	On the Formalization of the Heat Conduction Problem in HOL. CICM Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2022	J	`jnl`	On the Formalization of the Heat Conduction Problem in HOL. CoRR Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar
2022	J	`jnl`	Scour modeling using deep neural networks based on hyperparameter optimization. ICT Express Mohammed Asim, Adnan Rashid, Tanvir Ahmad
2021	J	`jnl`	Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving. J. Syst. Archit. Adnan Rashid, Osman Hasan
2021	J	`jnl`	Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
2021	J	`jnl`	Formalization of Bond Graph using Higher-order-logic Theorem Proving. CoRR Ujala Qasim, Adnan Rashid, Osman Hasan
2021	—	`conf`	Formalization of Transform Methods in Higher-order Logic: A Survey (short paper). CICM Workshops Muhammad Ahmed, Adnan Rashid
2021	J	`jnl`	Formalization of Transform Methods in Higher-order Logic: A Survey. CoRR Muhammad Ahmed, Adnan Rashid
2021	J	`jnl`	Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits. CoRR Adnan Rashid, Ayesha Gauhar, Osman Hasan
2020	J	`jnl`	Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper). CoRR Adnan Rashid, Umair Siddique, Sofiène Tahar
2020	J	`jnl`	Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light. Formal Aspects Comput. Adnan Rashid, Osman Hasan
2020	Misc	`conf`	Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	Toward Resilient Wireless Sensor Networks: A Virtualized Perspective. Sensors Adnan Rashid, Tommaso Pecorella, Francesco Chiti
2020	J	`jnl`	Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki
2019	J	`jnl`	Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR Sa'ed Abed, Adnan Rashid, Osman Hasan
2019	—	`conf`	Formal Verification of Cyber-Physical Systems Using Theorem Proving. FTSCS Adnan Rashid, Umair Siddique, Sofiène Tahar
2019	J	`jnl`	Formal analysis of continuous-time systems using Fourier transform. J. Symb. Comput. Adnan Rashid, Osman Hasan
2019	J	`jnl`	Wearable technologies for hand joints monitoring for rehabilitation: A survey. Microelectron. J. Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formal Analysis of Robotic Cell Injection Systems using Theorem Proving. CoRR Adnan Rashid, Osman Hasan
2018	—	`conf`	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). CICM Workshops Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic. CoRR Adnan Rashid, Osman Hasan
2018	B	`conf`	Formal Verification of Platoon Control Strategies. SEFM Adnan Rashid, Umair Siddique, Osman Hasan
2018	J	`jnl`	Formal Verification of Platoon Control Strategies. CoRR Adnan Rashid, Umair Siddique, Osman Hasan
2018	J	`jnl`	Formalization of Lerch's Theorem using HOL Light. CoRR Adnan Rashid, Osman Hasan
2018	J	`jnl`	Formalization of Lerch's Theorem using HOL Light. FLAP Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formal Analysis of Continuous-time Systems using Fourier Transform. CoRR Adnan Rashid, Osman Hasan
2017	C	`conf`	Formal Analysis of Linear Control Systems Using Theorem Proving. ICFEM Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formal Analysis of Linear Control Systems using Theorem Proving. CoRR Adnan Rashid, Osman Hasan
2017	—	`conf`	Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. CyPhy Adnan Rashid, Osman Hasan
2017	C	`conf`	Formalization of Transform Methods Using HOL Light. CICM Adnan Rashid, Osman Hasan
2017	J	`jnl`	Formalization of Transform Methods using HOL Light. CoRR Adnan Rashid, Osman Hasan
2016	B	`conf`	On the Formalization of Fourier Transform in Higher-order Logic. ITP Adnan Rashid, Osman Hasan
2014	Misc	`conf`	Analysis of Weather Forecasting Model in PRISM. FIT Asad Ahmed, Adnan Rashid, Sohail Iqbal
2010	C	`conf`	Using a service oriented architecture for simulating algorithmic trading strategies. iiWAS Adnan Rashid