Srinivas Pinisetty

57 papers A 1B 7C 10Misc 3Journal 24Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Serial Compositional Runtime Enforcement.
J. Object Technol.
Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty
2025 J jnl
Compositional runtime enforcement of safety and co-safety timed properties.
Int. J. Softw. Tools Technol. Transf.
Saumya Shankar, Srinivas Pinisetty
2025 B conf
Prompt Runtime Enforcement.
ATVA
Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur
2025 — conf
Runtime Enforcement of CPS against Signal Temporal Logic.
HSCC
Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan
2025 J jnl
Runtime Enforcement of CPS against Signal Temporal Logic.
CoRR
Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan
2025 C conf
Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study.
ICTAC
Vedanta Mohapatra, Ayush Anand, Srinivas Pinisetty
2025 J jnl
Securing Pacemakers Using Runtime Monitors over Physiological Signals.
ACM Trans. Embed. Comput. Syst.
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2024 B conf
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.
RV
Sai Rohan Harshavardhan Vuppala, Nathan Allen, 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
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Formal Methods Syst. Des.
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
2024 C conf
Runtime Enforcement with Event Reordering.
ICTAC
Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty
2024 — conf
Runtime Verified Neural Networks for Cyber-Physical Systems.
VORTEX@ISSTA
Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, 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
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement.
J. Object Technol.
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
2024 J jnl
Towards a Transpiler for C/C++ to Safer Rust.
CoRR
Dhiren Tripuramallu, Swapnil Singh, Shrirang Deshmukh, Srinivas Pinisetty, Shinde Arjun Shivaji, Raja Balusamy, Ajaganna Bandeppa
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 C conf
Bounded-Memory Runtime Enforcement of Timed Properties.
TIME
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
2023 J jnl
Incremental Security Enforcement for Cyber-Physical Systems.
IEEE Access
Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop
2023 J jnl
Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.
IEEE Trans. Computers
Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop
2023 — conf
Serial Compositional Runtime Enforcement of Safety Timed Properties.
ISEC
Saumya Shankar, Srinivas Pinisetty
2022 — conf
Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking.
ICSA Companion
Aashay Palliwar, Srinivas Pinisetty
2022 B conf
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.
RV
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
2022 — conf
Bounded-Memory Runtime Enforcement.
SPIN
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
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 C conf
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones.
MEMOCODE
Alex Baird, Hammond Pearce, 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
2022 C conf
Runtime Verification for Clinically Interpretable Arrhythmia Classification.
MEMOCODE
Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop
2022 A conf
Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems.
ICSA
Aashay Palliwar, Srinivas Pinisetty
2021 C conf
A secure insulin infusion system using verification monitors.
MEMOCODE
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
2021 J jnl
Compositional runtime enforcement revisited.
Formal Methods Syst. Des.
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
2021 J jnl
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers.
CoRR
Hammond Pearce, Xin Yang, 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
2020 — conf
Formal Runtime Monitoring Approaches for Autonomous Vehicles.
OVERLAY
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop
2020 J jnl
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems.
IEEE Trans. Ind. Informatics
Hammond A. Pearce, Srinivas Pinisetty, Partha S. Roop, Matthew M. Y. Kuo, Abhisek Ukil
2019 C conf
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations.
ICCD
Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty
2019 B conf
On the Runtime Enforcement of Timed Properties.
RV
Yliès Falcone, Srinivas Pinisetty
2019 C conf
Securing implantable medical devices with runtime enforcement hardware.
MEMOCODE
Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty
2018 J jnl
Monitoring Data Minimisation.
CoRR
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
2018 — conf
Runtime verification of hyperproperties for deterministic programs.
FormaliSE@ICSE
Srinivas Pinisetty, Gerardo Schneider, David Sands
2018 C conf
Security of Pacemakers using Runtime Verification.
MEMOCODE
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
2017 J jnl
Predictive runtime enforcement.
Formal Methods Syst. Des.
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2017 J jnl
Predictive runtime verification of timed properties.
J. Syst. Softw.
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
2017 J jnl
Runtime Enforcement of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
2017 — conf
Runtime enforcement of reactive systems using synchronous enforcers.
SPIN
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016 — conf
Compositional Runtime Enforcement.
NFM
Srinivas Pinisetty, Stavros Tripakis
2016 Misc conf
Predictive runtime enforcement.
SAC
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
2016 J jnl
Runtime enforcement of reactive systems using synchronous enforcers.
CoRR
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
2016 J jnl
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program.
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
2015 C conf
Enforcement of (Timed) Properties with Uncontrollable Events.
ICTAC
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
2015 — —
Runtime enforcement of timed properties. (Enforcement à l'éxécution de propriétés temporisées).
Srinivas Pinisetty
2015 B conf
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
RV
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 — conf
Runtime Enforcement of Parametric Timed Properties with Practical Applications.
WODES
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 Misc conf
Runtime enforcement of regular timed properties.
SAC
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
2014 J jnl
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des.
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Nguena-Timo
2012 B conf
Runtime Enforcement of Timed Properties.
RV
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo