Parabilis: Speeding up Single-Threaded Applications by Extracting Fine-Grained Threads for Multi-core Execution. - Fawibe Ademola; Oghenekarho Okobiah; Oleg Garitselov; Krishna M. Kavi; Izuchukwu Nwachukwu; Mohana Asha Latha Dubasi; Vinay R. Prabhu (ISPDC, 2011)

Timed Refinement for Verification of Real-Time Object Code Programs. - Mohana Asha Latha Dubasi; Sudarshan K. Srinivasan; Vidura Wijayasekara (VSTTE, 2014)

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)

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)