Adnan Rashid
Orcid: 0000-0002-9729-584X
According to our database1,
Adnan Rashid
authored at least 41 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Electron. Test., June, 2024
Design and implementation of a looking-forward Lawful Interception architecture for future mobile communication systems.
Comput. Networks, 2024
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024
Performance Analysis of Intelligent Reflecting Surfaces for 5G/6G-Enabled Future Smart Industries with a Focus on Millimeter-Wave Band Communications.
Proceedings of the IEEE International Conference on Communications Workshops, 2024
2023
Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles.
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.
Proceedings of the 34th IEEE Annual International Symposium on Personal, 2023
Visible Light Communications for Healthcare Applications: Opportunities and Challenges.
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.
Proceedings of the 17th IEEE International Symposium on Medical Information and Communication Technology, 2023
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.
Proceedings of the IEEE Globecom Workshops 2023, 2023
2022
ICT Express, 2022
Formal analysis of 2D image processing filters using higher-order logic theorem proving.
EURASIP J. Adv. Signal Process., 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
PeerJ Comput. Sci., 2021
Formal analysis of the continuous dynamics of cyber-physical systems using theorem proving.
J. Syst. Archit., 2021
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving.
CoRR, 2021
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.
J. Aerosp. Inf. Syst., September, 2020
Formal Aspects Comput., 2020
CoRR, 2020
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits.
CoRR, 2020
Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.
IEEE Access, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
2019
Microelectron. J., 2019
J. Symb. Comput., 2019
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
2018
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).
Proceedings of the Joint Proceedings of the CME-EI, 2018
2017
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017
2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
2014
Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014
2010
Proceedings of the iiWAS'2010, 2010