Srinivas Pinisetty

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 39

Top Venues

CoRR

MEMOCODE

Formal Methods Syst. Des.

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh, Srinivas Pinisetty, Shinde Arjun Shivaji, Raja Balusamy, Ajaganna Bandeppa
Towards a Transpiler for C/C++ to Safer Rust. CoRR (2024)
Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop
Scalable Security Enforcement for Cyber Physical Systems. IEEE Access 12 (2024)
Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System. J. Object Technol. 23 (2) (2024)
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
Bounded-memory runtime enforcement with probabilistic and performance analysis. Formal Methods Syst. Des. 62 (1) (2024)
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. J. Object Technol. 23 (2) (2024)
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
Bounded-Memory Runtime Enforcement of Timed Properties. TIME (2023)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. IEEE Embed. Syst. Lett. 15 (1) (2023)
Saumya Shankar, Srinivas Pinisetty
Serial Compositional Runtime Enforcement of Safety Timed Properties. ISEC (2023)
Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop
Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access 11 (2023)
Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop
Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers 72 (9) (2023)
Aashay Palliwar, Srinivas Pinisetty
Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA (2022)
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
Bounded-Memory Runtime Enforcement. SPIN (2022)
Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. MEMOCODE (2022)
Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop
Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG. CoRR (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. ISBRA (2022)
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV (2022)
Aashay Palliwar, Srinivas Pinisetty
Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS (2022)
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59 (1) (2021)
Hammond Pearce, Xin Yang, Srinivas Pinisetty, Partha S. Roop
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers. CoRR (2021)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
A secure insulin infusion system using verification monitors. MEMOCODE (2021)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, Ajay Babu K, M. Sabarimalai Manikandan
Runtime verification of implantable medical devices using multiple physiological signals. SAC (2021)
Hammond A. Pearce, Srinivas Pinisetty, Partha S. Roop, Matthew M. Y. Kuo, Abhisek Ukil
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems. IEEE Trans. Ind. Informatics 16 (7) (2020)
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY (2020)
Yliès Falcone, Srinivas Pinisetty
On the Runtime Enforcement of Timed Properties. RV (2019)
Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty
Securing implantable medical devices with runtime enforcement hardware. MEMOCODE (2019)
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD (2019)
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
Security of Pacemakers using Runtime Verification. MEMOCODE (2018)
Srinivas Pinisetty, Gerardo Schneider, David Sands
Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE (2018)
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
Monitoring Data Minimisation. CoRR (2018)
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
Predictive runtime verification of timed properties. J. Syst. Softw. 132 (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. Formal Methods Syst. Des. 51 (1) (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. SPIN (2017)
Srinivas Pinisetty, Stavros Tripakis
Compositional Runtime Enforcement. NFM (2016)
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
Runtime enforcement of regular timed properties by suppressing and delaying events. Sci. Comput. Program. 123 (2016)
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
Predictive runtime enforcement. SAC (2016)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. CoRR (2016)
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV (2015)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime enforcement of regular timed properties. SAC (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
Runtime enforcement of timed properties revisited. Formal Methods Syst. Des. 45 (3) (2014)
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo
Runtime Enforcement of Timed Properties. RV (2012)

Srinivas Pinisetty.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Srinivas Pinisetty