Abhinandan Panda

According to our database, Abhinandan Panda authored at least 11 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Securing Pacemakers Using Runtime Monitors over Physiological Signals.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

ACM Trans. Embed. Comput. Syst., May, 2025

2024

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG.

Abhinandan Panda, Ayush Anand, Srinivas Pinisetty, Partha S. Roop

IEEE Embed. Syst. Lett., December, 2024

VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System.

Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty

J. Object Technol., 2024

Scalable Security Enforcement for Cyber Physical Systems.

Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2024

2023

A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

IEEE Embed. Syst. Lett., March, 2023

Incremental Security Enforcement for Cyber-Physical Systems.

Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop

IEEE Access, 2023

2022

Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

CoRR, 2022

Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

Policy-Based Diabetes Detection using Formal Runtime Verification Monitors.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022

2021

Runtime verification of implantable medical devices using multiple physiological signals.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A secure insulin infusion system using verification monitors.

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021