Srinivas Pinisetty

According to our database, Srinivas Pinisetty authored at least 41 papers between 2012 and 2024.

Collaborative distances:

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

2024

Towards a Transpiler for C/C++ to Safer Rust.

Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh, Srinivas Pinisetty, Shinde Arjun Shivaji, Raja Balusamy, Ajaganna Bandeppa

CoRR, 2024

Scalable Security Enforcement for Cyber Physical Systems.

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

IEEE Access, 2024

2023

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.

Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop

IEEE Trans. Computers, September, 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

Bounded-Memory Runtime Enforcement of Timed Properties.

Saumya Shankar, Srinivas Pinisetty, Thierry Jéron

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Serial Compositional Runtime Enforcement of Safety Timed Properties.

Saumya Shankar, Srinivas Pinisetty

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2022

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

Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop

CoRR, 2022

Bounded-Memory Runtime Enforcement.

Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.

Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.

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

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Runtime Verification for Clinically Interpretable Arrhythmia Classification.

Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 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

Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking.

Aashay Palliwar, Srinivas Pinisetty

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems.

Aashay Palliwar, Srinivas Pinisetty

Proceedings of the 19th IEEE International Conference on Software Architecture, 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

Compositional runtime enforcement revisited.

Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis

Formal Methods Syst. Des., 2021

Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers.

Hammond Pearce, Xin Yang, Srinivas Pinisetty, Partha S. Roop

CoRR, 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

2020

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems.

Hammond A. Pearce, Srinivas Pinisetty, Partha S. Roop, Matthew M. Y. Kuo, Abhisek Ukil

IEEE Trans. Ind. Informatics, 2020

Formal Runtime Monitoring Approaches for Autonomous Vehicles.

Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

2019

On the Runtime Enforcement of Timed Properties.

Yliès Falcone, Srinivas Pinisetty

Proceedings of the Runtime Verification - 19th International Conference, 2019

Securing implantable medical devices with runtime enforcement hardware.

Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.

Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

Monitoring Data Minimisation.

Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider

CoRR, 2018

Security of Pacemakers using Runtime Verification.

Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Runtime verification of hyperproperties for deterministic programs.

Srinivas Pinisetty, Gerardo Schneider, David Sands

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Runtime Enforcement of Cyber-Physical Systems.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden

ACM Trans. Embed. Comput. Syst., 2017

Predictive runtime verification of timed properties.

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa

J. Syst. Softw., 2017

Predictive runtime enforcement.

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand

Formal Methods Syst. Des., 2017

Runtime enforcement of reactive systems using synchronous enforcers.

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Runtime enforcement of regular timed properties by suppressing and delaying events.

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty

Sci. Comput. Program., 2016

Compositional Runtime Enforcement.

Srinivas Pinisetty, Stavros Tripakis

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Runtime enforcement of timed properties. (Enforcement à l'éxécution de propriétés temporisées).

Srinivas Pinisetty

PhD thesis, 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Runtime enforcement of timed properties revisited.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo

Formal Methods Syst. Des., 2014

Runtime Enforcement of Parametric Timed Properties with Practical Applications.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Runtime enforcement of regular timed properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand

Proceedings of the Symposium on Applied Computing, 2014

2012

Runtime Enforcement of Timed Properties.

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012