Sana Shuja

According to our database, Sana Shuja authored at least 7 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

An Intelligent Model-Based Effective Approach for Glycemic Control in Type-1 Diabetes.

Ali Khaqan, Ali Nauman, Sana Shuja, Tahir Khurshaid, Ki-Chai Kim

Sensors, 2022

2020

Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code.

N. Shaukat, Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen

Sci. Program., 2020

2019

A Reliable IoT-Based Embedded Health Care System for Diabetic Patients.

Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman M. Al-Qtiemat, Sana Shuja

CoRR, 2019

2018

IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring.

Zeyad A. Al-Odat, Sudarshan K. Srinivasan, Eman Al-qtiemat, Mohana Asha Latha Dubasi, Sana Shuja

CoRR, 2018

2017

Formal verification methodology for real-time Field Programmable Gate Array.

Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja

IET Comput. Digit. Tech., 2017

2015

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs.

Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna

J. Electr. Comput. Eng., 2015

A Formal Verification Methodology for FPGA-Based Stepper Motor Control.

Shaista Jabeen, Sudarshan K. Srinivasan, Sana Shuja, Mohana Asha Latha Dubasi

IEEE Embed. Syst. Lett., 2015