Saumya Shankar

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Top Venues

J. Object Technol.

Publications

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) (2024)
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement. J. Object Technol. 23 (2) (2024)
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
Bounded-Memory Runtime Enforcement of Timed Properties. TIME (2023)
Saumya Shankar, Srinivas Pinisetty
Serial Compositional Runtime Enforcement of Safety Timed Properties. ISEC (2023)
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
Bounded-Memory Runtime Enforcement. SPIN (2022)
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV (2022)
Saumya Shankar, Jitendra Madarkar, Poonam Sharma
Securing Face Recognition System Using Blockchain Technology. MIND (2) (2020)
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY (2020)