Saumya Shankar

According to our database, Saumya Shankar authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

Bounded Serial Compositional Runtime Enforcement.

Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty

J. Object Technol., 2026

2025

Compositional runtime enforcement of safety and co-safety timed properties.

Saumya Shankar, Srinivas Pinisetty

Int. J. Softw. Tools Technol. Transf., April, 2025

Compositional training for Safe AI-based Cyber-Physical Systems.

Sobhan Chatterjee, Saumya Shankar, Partha S. Roop

Proceedings of the International Symposium on Formal Methods and Models for System Design, 2025

Runtime Enforcement of CPS against Signal Temporal Logic.

Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

Softtide: a deterministic middleware for real-time systems.

Jiajie Wang, Saumya Shankar, Partha S. Roop

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2025

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