Mohana Asha Latha Dubasi

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Complex Objects

Diabetes Mellitus

Verification Method

Top Venues

IEEE Embed. Syst. Lett.

Publications

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, Mohana Asha Latha Dubasi
A Formal Verification Methodology for FPGA-Based Stepper Motor Control. IEEE Embed. Syst. Lett. 7 (3) (2015)
Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara
Timed Refinement for Verification of Real-Time Object Code Programs. VSTTE (2014)
Fawibe Ademola, Oghenekarho Okobiah, Oleg Garitselov, Krishna M. Kavi, Izuchukwu Nwachukwu, Mohana Asha Latha Dubasi, Vinay R. Prabhu
Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution. ISPDC (2011)