1Alex Baird, Hammond Pearce, Srinivas Pinisetty, and Partha Roop: Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones, MEMOCODE (2022)
2Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish Patel, and Partha Roop: Runtime Verification for Clinically Interpretable Arrhythmia Classification, MEMOCODE (2022)
3Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022
4Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop:
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS 2022
5Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. SPIN 2022
6Aashay Palliwar, Srinivas Pinisetty:
Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. ICSA Companion 2022
7Aashay Palliwar, Srinivas Pinisetty:
Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. ICSA 2022
8Abhinandan panda, Srinivas Pinisetty, Partha S. Roop:
A secure insulin infusion system using verification monitors. MEMOCODE 2021: 56-65
9Abhinandan 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
10Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty:
Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. ICCD 2019
11Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop:
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY 2020: 89-94
12Ylies Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. The 19th International Conference on Runtime Verification (RV 2019), Porto, Portugal, October 2019
13Hammond Pearce, Matthew Kuo, Partha Roop and Srinivas Pinisetty.
Securing Implantable Medical Devices with Runtime Enforcement Hardware. MEMOCODE 2019, San Diego, USA, October 2019
14Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider:
Security of Pacemakers using Runtime Verification. MEMOCODE 2018, Beijing, China, October 2018
15Runtime Verification of Hyperproperties for Deterministic Programs. Srinivas Pinisetty, Gerardo Schneider and David Sands, FormaliSE, Gothenburg, Sweden, June 2018
16S. Pinisetty, P. Roop, S. Smyth, S. Tripakis, R. Hanxleden. Runtime Enforcement of Reactive Systems using Synchronous Enforcers. In SPIN 2017
17S. Pinisetty, S.Tripakis. Compositional Runtime Enforcement. In NASA Formal Methods Symposium (NFM), Minneapolis, USA, June 2016
18S. 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
19M. 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
20S, 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
21 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
22S. 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
23S. 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
