| 2025 | VECoS | $\mathbb {FETMA}$: A Tool for Functional Block Diagram and Event Tree Based Safety Analysis. | Mohamed Abdelghany, Adnan Rashid, Sofine Tahar |
| 2025 | VECoS | On the Formalization of Pseudoinverse of the Laplacian Matrix in HOL. | Kubra Aksoy, Adnan Rashid, Sofine Tahar |
| 2024 | ICFEM | Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. | Kubra Aksoy, Adnan Rashid, Sofine Tahar |
| 2024 | VECoS | Formal Verification of Coupled Transmission Lines using Theorem Proving. | Elif Deniz, Adnan Rashid, Sofine Tahar |
| 2023 | GLOBECOM | 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 |
| 2023 | PIMRC | Enabling High-Speed Connectivity in Urban Environments Through Composite Base Stations and Dynamic Spectrum Scheduling. | Muhammad Farhan Khan, Adnan Rashid, Adeel Iqbal, Dirk Pesch |
| 2020 | SAC | Formal analysis of the biological circuits using higher-order-logic theorem proving. | Sa'ed Abed, Adnan Rashid, Osman Hasan |
| 2018 | SEFM | Formal Verification of Platoon Control Strategies. | Adnan Rashid, Umair Siddique, Osman Hasan |
| 2017 | ICFEM | Formal Analysis of Linear Control Systems Using Theorem Proving. | Adnan Rashid, Osman Hasan |
| 2016 | ITP | On the Formalization of Fourier Transform in Higher-order Logic. | Adnan Rashid, Osman Hasan |
| 2014 | FIT | Analysis of Weather Forecasting Model in PRISM. | Asad Ahmed, Adnan Rashid, Sohail Iqbal |
| 2010 | IIWAS | Using a service oriented architecture for simulating algorithmic trading strategies. | Adnan Rashid |