default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSrinivas Pinisetty
Person information
- affiliation: Indian Institute of Technology, Bhubaneswar, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j17]Saumya Shankar, Srinivas Pinisetty:
Compositional runtime enforcement of safety and co-safety timed properties. Int. J. Softw. Tools Technol. Transf. 27(2): 169-199 (2025)- [j16]Abhinandan Panda
, Srinivas Pinisetty, Partha S. Roop:
Securing Pacemakers Using Runtime Monitors over Physiological Signals. ACM Trans. Embed. Comput. Syst. 24(3): 50:1-50:41 (2025) - [c31]Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur:
Prompt Runtime Enforcement. ATVA 2025: 135-156 - [c30]Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan:
Runtime Enforcement of CPS against Signal Temporal Logic. HSCC 2025: 18:1-18:11 - [i6]Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan:
Runtime Enforcement of CPS against Signal Temporal Logic. CoRR abs/2502.11584 (2025) - 2024
- [j15]Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop:
Scalable Security Enforcement for Cyber Physical Systems. IEEE Access 12: 14385-14410 (2024) - [j14]Abhinandan Panda, Ayush Anand, Srinivas Pinisetty, Partha S. Roop:
An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG. IEEE Embed. Syst. Lett. 16(4): 405-408 (2024) - [j13]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): 141-180 (2024) - [j12]Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty:
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System. J. Object Technol. 23(2): 1 (2024) - [j11]Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. J. Object Technol. 23(2): 2 (2024) - [c29]Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty:
Runtime Enforcement with Event Reordering. ICTAC 2024: 386-407 - [c28]Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop:
A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. RV 2024: 3-21 - [c27]Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha S. Roop:
Runtime Verified Neural Networks for Cyber-Physical Systems. VORTEX@ISSTA 2024: 44-51 - [i5]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 abs/2401.08264 (2024) - 2023
- [j10]Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop:
Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access 11: 18475-18498 (2023) - [j9]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): 49-52 (2023) - [j8]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): 2426-2439 (2023) - [c26]Saumya Shankar, Srinivas Pinisetty:
Serial Compositional Runtime Enforcement of Safety Timed Properties. ISEC 2023: 5:1-5:11 - [c25]Saumya Shankar, Srinivas Pinisetty, Thierry Jéron:
Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22 - 2022
- [c24]Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS 2022: 333-338 - [c23]Aashay Palliwar, Srinivas Pinisetty:
Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA 2022: 13-23 - [c22]Aashay Palliwar, Srinivas Pinisetty:
Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion 2022: 55 - [c21]Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. ISBRA 2022: 169-179 - [c20]Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop:
Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE 2022: 1-10 - [c19]Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop:
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. MEMOCODE 2022: 1-11 - [c18]Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022: 25-44 - [c17]Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022: 114-133 - [i4]Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG. CoRR abs/2202.00559 (2022) - 2021
- [j7]Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis:
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59(1): 205-252 (2021) - [c16]Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65 - [c15]Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan:
Runtime verification of implantable medical devices using multiple physiological signals. SAC 2021: 1837-1840 - [i3]Hammond Pearce, Xin Yang, Srinivas Pinisetty, Partha S. Roop:
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers. CoRR abs/2110.01974 (2021) - 2020
- [j6]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): 4659-4669 (2020) - [c14]Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop:
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
2010 – 2019
- 2019
- [c13]Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty:
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019: 313-316 - [c12]Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty:
Securing implantable medical devices with runtime enforcement hardware. MEMOCODE 2019: 3:1-3:9 - [c11]Yliès Falcone, Srinivas Pinisetty:
On the Runtime Enforcement of Timed Properties. RV 2019: 48-69 - 2018
- [c10]Srinivas Pinisetty, Gerardo Schneider, David Sands:
Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE 2018: 20-29 - [c9]Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. MEMOCODE 2018: 51-61 - [i2]Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider:
Monitoring Data Minimisation. CoRR abs/1801.02484 (2018) - 2017
- [j5]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j4]Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [j3]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): 178:1-178:25 (2017) - [c8]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89 - 2016
- [j2]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: 2-41 (2016) - [c7]Srinivas Pinisetty, Stavros Tripakis:
Compositional Runtime Enforcement. NFM 2016: 82-99 - [c6]Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [i1]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016) - 2015
- [b1]Srinivas Pinisetty:
Runtime enforcement of timed properties. (Enforcement à l'éxécution de propriétés temporisées). University of Rennes 1, France, 2015 - [c5]Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. ICTAC 2015: 542-560 - [c4]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV 2015: 306-320 - 2014
- [j1]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): 381-422 (2014) - [c3]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
Runtime enforcement of regular timed properties. SAC 2014: 1279-1286 - [c2]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
Runtime Enforcement of Parametric Timed Properties with Practical Applications. WODES 2014: 420-427 - 2012
- [c1]Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena-Timo:
Runtime Enforcement of Timed Properties. RV 2012: 229-244
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-17 01:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
