Sign in
Saumya Shankar
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 5
Top Topics
Bounded Memory
Top Venues
ISEC
TIME
RV
SPIN
</>
Publications
</>
Saumya Shankar
,
Srinivas Pinisetty
,
Thierry Jéron
Bounded-Memory Runtime Enforcement of Timed Properties.
TIME
(2023)
Saumya Shankar
,
Srinivas Pinisetty
Serial Compositional Runtime Enforcement of Safety Timed Properties.
ISEC
(2023)
Saumya Shankar
,
Antoine Rollet
,
Srinivas Pinisetty
,
Yliès Falcone
Bounded-Memory Runtime Enforcement.
SPIN
(2022)
Gaurav Gupta
,
Saumya Shankar
,
Srinivas Pinisetty
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring.
RV
(2022)
Saumya Shankar
,
Ujwal V. R
,
Srinivas Pinisetty
,
Partha S. Roop
Formal Runtime Monitoring Approaches for Autonomous Vehicles.
OVERLAY
(2020)