Abhinandan Panda

11 papers B 1C 1Misc 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Securing Pacemakers Using Runtime Monitors over Physiological Signals.
ACM Trans. Embed. Comput. Syst.
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2024 J jnl
An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG.
IEEE Embed. Syst. Lett.
Abhinandan Panda, Ayush Anand, Srinivas Pinisetty, Partha S. Roop
2024 J jnl
Scalable Security Enforcement for Cyber Physical Systems.
IEEE Access
Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop
2024 J jnl
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System.
J. Object Technol.
Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty
2023 J jnl
A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications.
IEEE Embed. Syst. Lett.
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2023 J jnl
Incremental Security Enforcement for Cyber-Physical Systems.
IEEE Access
Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop
2022 B conf
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors.
CBMS
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2022 — conf
Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors.
ISBRA
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2022 J jnl
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG.
CoRR
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2021 C conf
A secure insulin infusion system using verification monitors.
MEMOCODE
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2021 Misc conf
Runtime verification of implantable medical devices using multiple physiological signals.
SAC
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan