Securing Face Recognition System Using Blockchain Technology. - Saumya Shankar; Jitendra Madarkar; Poonam Sharma (MIND (2), 2020)

Formal Runtime Monitoring Approaches for Autonomous Vehicles. - Saumya Shankar; Ujwal V. R; Srinivas Pinisetty; Partha S. Roop (OVERLAY, 2020)

Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. - Gaurav Gupta; Saumya Shankar; Srinivas Pinisetty (RV, 2022)

Bounded-Memory Runtime Enforcement. - Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone (SPIN, 2022)

Serial Compositional Runtime Enforcement of Safety Timed Properties. - Saumya Shankar; Srinivas Pinisetty (ISEC, 2023)

Bounded-Memory Runtime Enforcement of Timed Properties. - Saumya Shankar; Srinivas Pinisetty; Thierry Jéron (TIME, 2023)

Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. - Gaurav Gupta; Saumya Shankar; Srinivas Pinisetty (J. Object Technol., 2024)

Bounded-memory runtime enforcement with probabilistic and performance analysis. - Saumya Shankar; Ankit Pradhan; Srinivas Pinisetty; Antoine Rollet; Yliès Falcone (Formal Methods Syst. Des., 2024)

Runtime Enforcement of CPS against Signal Temporal Logic. - Han Su 003; Saumya Shankar; Srinivas Pinisetty; Partha S. Roop; Naijun Zhan (HSCC, 2025)

Compositional runtime enforcement of safety and co-safety timed properties. - Saumya Shankar; Srinivas Pinisetty (Int. J. Softw. Tools Technol. Transf., 2025)