Dr. Srinivas Pinisetty

Publications

1S. Shankar, A. Pradhan, S. Pinisetty, A. Rollet, Y. Falcone: Bounded-Memory Runtime Enforcement with Probabilistic and Performance Analysis. Formal Methods in System Design Journal (Accepted- 2024)
2A. Baird, A. Panda, H. Pearce, S. Pinisetty, P. Roop: Scalable Security Enforcement for Cyber Physical Systems. IEEE Access (2024: doi: 10.1109/ACCESS.2024.3357714)
3G. Gupta, S. Shankar, S. Pinisetty: Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. JoT Journal (Accepted- 2024)
4R. B. Pendayala, A. Panda, S. Pinisetty: VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System: JoT Journal (Accepted- 2024)
5A. Panda, S. Pinisetty, P. Roop: Securing Pacemakers using Runtime Monitors over Physiological Signals. ACM TECS Journal (2024, doi: 10.1145/3638286)
6Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop: Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers (2023)
7Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop: Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access (2023)
8Srinivas Pinisetty, Ankit Pradhan, Partha Roop & Stavros Tripakis: Compositional runtime enforcement revisited. Formal Methods in System Design (2022)
9Abhinandan Panda, Srinivas Pinisetty, and Partha Roop: A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. IEEE Embedded Systems Letters (2022)
10H. Pearce, S. Pinisetty, M. Kuo, P. Roop, A. Ukil. Smart I/O modules for mitigating cyber-physical attacks on
industrial control systems. IEEE Transactions on Industrial Informatics (2020)
11S. Pinisetty, P. Roop, S. Smyth, N. Allen, S. Tripakis, R. Hanxleden.
Runtime Enforcement of Cyber-Physical Systems. ACM TECS Journal (2017)
12S. Pinisetty, T. Jéron, S.Tripakis, H. Marchand , Y. Falcone, V. Preoteasa. Predictive Runtime Verification of Timed Properties. (JSS Journal)
13S. Pinisetty, V. Preoteasa, S.Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. Formal Methods in System Design Journal (2017). doi:10.1007/s10703-017-0271-1
14Y. Falcone, T. Jéron, H. Marchand, S. Pinisetty. Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events. Science of Computer Programming Journal, Volume 123, 1 July 2016, Pages 2-41, ISSN 0167-6423, http://doi.org/10.1016/j.scico.2016.02.008
15S. Pinisetty, Y. Falcone, T. Jeron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties Revisited. Formal Methods in System Design Journal 45(3): 381-422 (2014)
1Saumya Shankar, Srinivas Pinisetty, Thierry Jéron: Bounded-Memory Runtime Enforcement of Timed Properties. TIME 2023: 6:1-6:22 (2023)
2Saumya Shankar, Srinivas Pinisetty: Serial Compositional Runtime Enforcement of Safety Timed Properties (ISEC 2023)
3Alex Baird, Hammond Pearce, Srinivas Pinisetty, and Partha Roop: Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones, MEMOCODE (2022)
4Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish Patel, and Partha Roop: Runtime Verification for Clinically Interpretable Arrhythmia Classification, MEMOCODE (2022)
5Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022
6Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS 2022
7Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022
8Aashay Palliwar, Srinivas Pinisetty:
Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion 2022
9Aashay Palliwar, Srinivas Pinisetty:
Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA 2022
10Abhinandan panda, Srinivas Pinisetty, Partha S. Roop:
A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
11Abhinandan panda, Srinivas Pinisetty, Partha S. Roop, Ajay Babu K, M. Sabarimalai Manikandan:
Runtime verification of implantable medical devices using multiple physiological signals. SAC 2021: 1837-1840
12Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty:
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
13Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop:
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
14Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
15Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty.
Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
16Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
17Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
18S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
19S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
20S. Pinisetty, V. Preoteasa, S.Tripakis, T. Jéron, Y. Falcone, H. Marchand. Predictive Runtime Enforcement. In ACM Symposium on Applied Computing, Software Verification and Testing Track, Pisa, Italy, April 2016
21M. Renard, Y. Falcone, A. Rollet, S, Pinisetty, T. Jéron, H. Marchand. Runtime Enforcement of (Timed) Properties with Uncontrollable Events. In ICTAC 2015, the 12th International Colloquium on Theoretical Aspects of Computing, Cali, Colombia, October 2015
22S, Pinisetty, Y. Falcone, T. Jéron, H. Marchand. TiPEX: a tool chain for Timed Property Enforcement during eXecution. In RV 2015, 15th International Conference on Runtime Verification, Vienna, Austria, September 2015
23 S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. In IEEE International Workshop on Discrete Event Systems WODES 2014, Cachan, France, May 2014
24S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand. Runtime Enforcement of Regular Timed Properties. In ACM Symposium on Applied Computing, Software Verification and Testing Track, Gyeongju, Korea, March 2014
25S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, O. Nguena Timo. Runtime Enforcement of Timed Properties. In Third International Conference on Runtime Verification RV 2012, Istanbul, Turkey, September 2012