Saumya Shankar

According to our database, Saumya Shankar authored at least 5 papers between 2020 and 2023.

Collaborative distances:

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

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