| Closed loop blood glucose control in diabetics SM Hassan, RA Riaz Biomedical research 28 (16), 7230-7236, 2017 | 18 | 2017 |
| Iot-based secure embedded scheme for insulin pump data acquisition and monitoring ZA Al-Odat, SK Srinivasan, E Al-qtiemat, MAL Dubasi, S Shuja arXiv preprint arXiv:1812.02357, 2018 | 17 | 2018 |
| A formal verification methodology for FPGA-based stepper motor control S Jabeen, SK Srinivasan, S Shuja, MAL Dubasi IEEE Embedded Systems Letters 7 (3), 85-88, 2015 | 16 | 2015 |
| A reliable IoT-based embedded health care system for diabetic patients ZA Al-Odat, SK Srinivasan, EM Al-Qtiemat, S Shuja arXiv preprint arXiv:1908.06086, 2019 | 15 | 2019 |
| A comparative analysis of PID, lead, lag, lead-lag, and cascaded lead controllers for a drug infusion system ZK Jadoon, S Shakeel, A Saleem, A Khaqan, S Shuja, SA Malik, RA Riaz Journal of healthcare engineering 2017, 2017 | 14 | 2017 |
| A formal verification methodology for DDD mode pacemaker control programs S Shuja, SK Srinivasan, S Jabeen, D Nawarathna Journal of Electrical and Computer Engineering 2015, 57-57, 2015 | 14 | 2015 |
| An intelligent model-based effective approach for glycemic control in type-1 diabetes A Khaqan, A Nauman, S Shuja, T Khurshaid, KC Kim Sensors 22 (20), 7773, 2022 | 6 | 2022 |
| Formal verification methodology for real‐time Field Programmable Gate Array S Jabeen, S Srinivasan, S Shuja IET Computers & Digital Techniques 11 (5), 197-203, 2017 | 6 | 2017 |
| A switching based PID technique for blood glucose control QUH Shuja, SA Malik, RA Riaz Biomed Res 28 (19), 8477-8483, 2017 | 6 | 2017 |
| A methodology for synthesizing formal specification models from requirements for refinement-based object code verification EM Al-qtiemat, SK Srinivasan, MAL Dubasi, S Shuja The Third International Conference on Cyber-Technologies and Cyber-Systems …, 2018 | 5 | 2018 |
| Device Discovery in D2D Communication: Scenarios and Challenges A Iqbal, A Nauman, R Hussain, IL Khan, A Khaqan, S Shuja, SW Kim CMC-COMPUTERS MATERIALS & CONTINUA 75 (1), 1735-1750, 2023 | 3 | 2023 |
| Synthesis of Formal Specifications From Requirements for Refinement-based Real Time Object Code Verification EM Al-Qtiemat, SK Srinivasan, ZA Al-Odat, MAL Dubasi, S Shuja International Journal on Advances in Internet Technology 12, 95-107, 2019 | 2 | 2019 |
| Static stuttering abstraction for object code verification N Shaukat, S Shuja, S Srinivasan, S Jabeen, MAL Dubasi Proceedings of the CYBER, 102-106, 2018 | 2 | 2018 |
| Refinement maps for insulin pump control software safety verification EM Al-qtiemat, SK Srinivasan, ZA Al-Odat, S Shuja The Eleventh International Conference on Advances in System Testing and …, 2019 | 1 | 2019 |
| Refinement checker for embedded object code verification MAL Dubasi, SK Srinivasan, S Shuja, ZA Al-Odat Proceedings of the The Fourth International Conference on Cyber-Technologies …, 0 | 1 | |
| Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code N Shaukat, S Shuja, SK Srinivasan, S Jabeen Scientific Programming 2020, 1-19, 2020 | | 2020 |
| Synthesis of Refinement Maps for Real-Time Object Code Verification EM Al-qtiemat, SK Srinivasan, ZA Al-Odat, S Shuja International Journal on Advances in Life Sciences Volume 12, Number 1 & 2, 2020, 2020 | | 2020 |
| Risks reduction control techniques analysis in type-1 diabetes. H Arif, S Shuja, S Imtiaz, A Khaqan, Q ul Hasan, SA Malik, J Ahmed, ... Biomedical Research 29 (8), 1550-1557, 2018 | | 2018 |
| Formal Verification Techniques for Safety Critical Medical Device Software Control S Shuja North Dakota State University, 2016 | | 2016 |
| ASIC Design Implementation of Memory Efficient Infinite Impulse Response UWB Equalizer MF Siddiqi, MK Bhatti, S Shuja, S Jabeen, S Ahmad, A Iqbal, G Shafiq, ... PRZEGLAD ELEKTROTECHNICZNY 88 (3 B), 223-227, 2012 | | 2012 |
