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 |
Timed refinement for verification of real-time object code programs MAL Dubasi, SK Srinivasan, V Wijayasekara Verified Software: Theories, Tools and Experiments: 6th International …, 2014 | 11 | 2014 |
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 |
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 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 | |
2015 Index IEEE Embedded Systems Letters Vol. 7 M Abid, G Abozaid, F Abugchem, A Ahari, H Al Osman, BM Al-Hashimi, ... Silva 19, 22, 2015 | | 2015 |
Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution A Fawibe, O Okobiah, O Garitselov, K Kavi, I Nwachukwu, MAL Dubasi, ... 2011 10th International Symposium on Parallel and Distributed Computing, 63-70, 2011 | | 2011 |
IEEE COPYRIGHT AND CONSENT FORM A Fawibe, O Okobiah, O Garitselov, K Kavi, I Nwachukwu, MAL Dubasi, ... | | 2011 |