Sign in
Sana Shuja
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 7
Top Topics
Model Checker
Formal Verification
Diabetic Patients
Control Program
Top Venues
CoRR
IEEE Embed. Syst. Lett.
IET Comput. Digit. Tech.
Sensors
</>
Publications
</>
Ali Khaqan
,
Ali Nauman
,
Sana Shuja
,
Tahir Khurshaid
,
Ki-Chai Kim
An Intelligent Model-Based Effective Approach for Glycemic Control in Type-1 Diabetes.
Sensors
22 (20) (2022)
N. Shaukat
,
Sana Shuja
,
Sudarshan K. Srinivasan
,
Shaista Jabeen
Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code.
Sci. Program.
2020 (2020)
Zeyad A. Al-Odat
,
Sudarshan K. Srinivasan
,
Eman M. Al-Qtiemat
,
Sana Shuja
A Reliable IoT-Based Embedded Health Care System for Diabetic Patients.
CoRR
(2019)
Zeyad A. Al-Odat
,
Sudarshan K. Srinivasan
,
Eman Al-qtiemat
,
Mohana Asha Latha Dubasi
,
Sana Shuja
IoT-Based Secure Embedded Scheme for Insulin Pump Data Acquisition and Monitoring.
CoRR
(2018)
Shaista Jabeen
,
Sudarshan K. Srinivasan
,
Sana Shuja
Formal verification methodology for real-time Field Programmable Gate Array.
IET Comput. Digit. Tech.
11 (5) (2017)
Sana Shuja
,
Sudarshan K. Srinivasan
,
Shaista Jabeen
,
Dharmakeerthi Nawarathna
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs.
J. Electr. Comput. Eng.
2015 (2015)
Shaista Jabeen
,
Sudarshan K. Srinivasan
,
Sana Shuja
,
Mohana Asha Latha Dubasi
A Formal Verification Methodology for FPGA-Based Stepper Motor Control.
IEEE Embed. Syst. Lett.
7 (3) (2015)