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)

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. - Sana Shuja; Sudarshan K. Srinivasan; Shaista Jabeen; Dharmakeerthi Nawarathna (J. Electr. Comput. Eng., 2015)

Formal verification methodology for real-time Field Programmable Gate Array. - Shaista Jabeen; Sudarshan K. Srinivasan; Sana Shuja (IET Comput. Digit. Tech., 2017)

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)

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)

Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code. - N. Shaukat; Sana Shuja; Sudarshan K. Srinivasan; Shaista Jabeen (Sci. Program., 2020)

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)