| 2025 | ATVA | Prompt Runtime Enforcement. | Ayush Anand, Loc Germerie Guizouarn, Thierry Jron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur |
| 2025 | ICTAC | Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study. | Vedanta Mohapatra, Ayush Anand, Srinivas Pinisetty |
| 2024 | ICTAC | Runtime Enforcement with Event Reordering. | Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty |
| 2024 | RV | A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. | Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop |
| 2023 | TIME | Bounded-Memory Runtime Enforcement of Timed Properties. | Saumya Shankar, Srinivas Pinisetty, Thierry Jron |
| 2022 | CBMS | Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2022 | ICSA | Using Gossip Enabled Distributed Circuit Breaking for Improving Resiliency of Distributed Systems. | Aashay Palliwar, Srinivas Pinisetty |
| 2022 | ICSA | Artifact for Measuring the Relative Efficacy of Gossip Enabled Distributed Circuit Breaking. | Aashay Palliwar, Srinivas Pinisetty |
| 2022 | MEMOCODE | Runtime Verification for Clinically Interpretable Arrhythmia Classification. | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2022 | MEMOCODE | Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. | Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop |
| 2022 | RV | Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. | Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty |
| 2021 | MEMOCODE | A secure insulin infusion system using verification monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | SAC | Runtime verification of implantable medical devices using multiple physiological signals. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan |
| 2019 | ICCD | Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations. | Shivani Tripathy, Debiprasanna Sahoo, Manoranjan Satpathy, Srinivas Pinisetty |
| 2019 | MEMOCODE | Securing implantable medical devices with runtime enforcement hardware. | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
| 2019 | RV | On the Runtime Enforcement of Timed Properties. | Ylis Falcone, Srinivas Pinisetty |
| 2018 | ICSE | Runtime verification of hyperproperties for deterministic programs. | Srinivas Pinisetty, Gerardo Schneider, David Sands |
| 2018 | MEMOCODE | Security of Pacemakers using Runtime Verification. | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
| 2016 | SAC | Predictive runtime enforcement. | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jron, Ylis Falcone, Herv Marchand |
| 2015 | ICTAC | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2015 | RV | TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2014 | SAC | Runtime enforcement of regular timed properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2012 | RV | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |