Abhinandan Panda

Orcid: 0000-0001-5469-7032

According to our database1, Abhinandan Panda authored at least 9 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System.
J. Object Technol., 2024

Scalable Security Enforcement for Cyber Physical Systems.
IEEE Access, 2024

2023
A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications.
IEEE Embed. Syst. Lett., March, 2023

Incremental Security Enforcement for Cyber-Physical Systems.
IEEE Access, 2023

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

Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors.
Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

Policy-Based Diabetes Detection using Formal Runtime Verification Monitors.
Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022

2021
Runtime verification of implantable medical devices using multiple physiological signals.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A secure insulin infusion system using verification monitors.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021


  Loading...