Saumya Shankar

According to our database, Saumya Shankar authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., June, 2024

Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement.

Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty

J. Object Technol., 2024

2023

Bounded-Memory Runtime Enforcement of Timed Properties.

Saumya Shankar, Srinivas Pinisetty, Thierry Jéron

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Serial Compositional Runtime Enforcement of Safety Timed Properties.

Saumya Shankar, Srinivas Pinisetty

Proceedings of the 16th Innovations in Software Engineering Conference, 2023

2022

Bounded-Memory Runtime Enforcement.

Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.

Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty

Proceedings of the Runtime Verification - 22nd International Conference, 2022

2020

Formal Runtime Monitoring Approaches for Autonomous Vehicles.

Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Securing Face Recognition System Using Blockchain Technology.

Saumya Shankar, Jitendra Madarkar, Poonam Sharma

Proceedings of the Machine Learning, Image Processing, Network Security and Data Sciences, 2020