Saumya Shankar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MEMOCODE | Compositional training for Safe AI-based Cyber-Physical Systems. | Sobhan Chatterjee, Saumya Shankar, Partha S. Roop |
| 2023 | TIME | Bounded-Memory Runtime Enforcement of Timed Properties. | Saumya Shankar, Srinivas Pinisetty, Thierry Jron |
| 2022 | RV | Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. | Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty |