Saumya Shankar

15 papers B 1C 2Misc 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Serial Compositional Runtime Enforcement.
J. Object Technol.
Saumya Shankar, Thierry Jéron, Prisha Srinidi, Srinivas Pinisetty
2026 J jnl
Softtide: A Deterministic Middleware for Real-Time Systems.
ACM Trans. Embed. Comput. Syst.
Jiajie Wang, Saumya Shankar, Partha S. Roop
2025 J jnl
Compositional runtime enforcement of safety and co-safety timed properties.
Int. J. Softw. Tools Technol. Transf.
Saumya Shankar, Srinivas Pinisetty
2025 C conf
Compositional training for Safe AI-based Cyber-Physical Systems.
MEMOCODE
Sobhan Chatterjee, Saumya Shankar, Partha S. Roop
2025 — conf
Runtime Enforcement of CPS against Signal Temporal Logic.
HSCC
Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan
2025 J jnl
Runtime Enforcement of CPS against Signal Temporal Logic.
CoRR
Han Su, Saumya Shankar, Srinivas Pinisetty, Partha S. Roop, Naijun Zhan
2025 Misc conf
Softtide: a deterministic middleware for real-time systems.
CODES+ISSS
Jiajie Wang, Saumya Shankar, Partha S. Roop
2024 J jnl
Bounded-memory runtime enforcement with probabilistic and performance analysis.
Formal Methods Syst. Des.
Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
2024 J jnl
Towards a Security Framework for Artifact-centric Workflows Leveraging Runtime Enforcement.
J. Object Technol.
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
2023 C conf
Bounded-Memory Runtime Enforcement of Timed Properties.
TIME
Saumya Shankar, Srinivas Pinisetty, Thierry Jéron
2023 — conf
Serial Compositional Runtime Enforcement of Safety Timed Properties.
ISEC
Saumya Shankar, Srinivas Pinisetty
2022 B conf
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.
RV
Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
2022 — conf
Bounded-Memory Runtime Enforcement.
SPIN
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
2020 — conf
Formal Runtime Monitoring Approaches for Autonomous Vehicles.
OVERLAY
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop
2020 — conf
Securing Face Recognition System Using Blockchain Technology.
MIND (2)
Saumya Shankar, Jitendra Madarkar, Poonam Sharma