Dharmakeerthi Nawarathna

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 1

Top Topics

Formal Verification

Control Program

Inertial Measurement Unit

Body Mass Index

Top Venues

J. Electr. Comput. Eng.

Publications

Vidura Jayasooriya, Nathaniel Johnson, Adam Bradley, Christopher Kotarsky, Lizzy Jepng'etich, Daniel Friesner, Sherri Stastny, Kyle J. Hackney, Dharmakeerthi Nawarathna
A Miniaturized MicroRNA Sensor Identifies Targets Associated with Weight Loss in a Diet and Exercise Intervention among Healthy Overweight Individuals. Sensors 22 (18) (2022)
Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs. J. Electr. Comput. Eng. 2015 (2015)