Adnan Rashid

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.

[BibT_eX]

[DOI]

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

Visible Light Communications for Healthcare Applications: Opportunities and Challenges.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Anti-social Behavior Detection using Multi-lingual Model.

[BibT_eX]

[DOI]

Hafiz Zeeshan Ali

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Globecom Workshops 2023, 2023

2022

Scour modeling using deep neural networks based on hyperparameter optimization.

[BibT_eX]

[DOI]

Mohammed Asim

Tanvir Ahmad

ICT Express, 2022

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

[BibT_eX]

[DOI]

EURASIP J. Adv. Signal Process., 2022

On the Formalization of the Heat Conduction Problem in HOL.

[BibT_eX]

[DOI]

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

2021

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

[BibT_eX]

[DOI]

PeerJ Comput. Sci., 2021

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

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Ujala Qasim

CoRR, 2021

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

[BibT_eX]

[DOI]

Muhammad Ahmed

CoRR, 2021

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

[BibT_eX]

[DOI]

Muhammad Ahmed

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.

[BibT_eX]

[DOI]

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

Toward Resilient Wireless Sensor Networks: A Virtualized Perspective.

[BibT_eX]

[DOI]

Tommaso Pecorella

Francesco Chiti

Sensors, 2020

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

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

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

[BibT_eX]

[DOI]

Umair Siddique

Sofiène Tahar

CoRR, 2020

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

[BibT_eX]

[DOI]

Ayesha Gauhar

CoRR, 2020

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

[BibT_eX]

[DOI]

IEEE Access, 2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Microelectron. J., 2019

Formal analysis of continuous-time systems using Fourier transform.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

Formal Verification of Cyber-Physical Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Umair Siddique

Sofiène Tahar

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

2018

Formalization of Lerch's Theorem using HOL Light.

[BibT_eX]

[DOI]

FLAP, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Formal Verification of Platoon Control Strategies.

[BibT_eX]

[DOI]

Umair Siddique

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).

[BibT_eX]

[DOI]

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

2017

Formalization of Transform Methods Using HOL Light.

[BibT_eX]

[DOI]

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

Formal Analysis of Linear Control Systems Using Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving.

[BibT_eX]

[DOI]

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

2016

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

[BibT_eX]

[DOI]

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

2014

Analysis of Weather Forecasting Model in PRISM.

[BibT_eX]

[DOI]

Asad Ahmed

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.

[BibT_eX]

[DOI]