Abhinandan Panda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CBMS | Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | MEMOCODE | A secure insulin infusion system using verification monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | SAC | Runtime verification of implantable medical devices using multiple physiological signals. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan |