Sign in
Srinidhi Srinivasan
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Quantitative Analysis
Image Sequences
Scheduling Problem
Top Venues
RTSS
</>
Publications
</>
Yimi Zhao
,
Srinidhi Srinivasan
,
Geoffrey Nelissen
,
Mitra Nasri
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction.
RTSS
(2023)
Srinidhi Srinivasan
,
Geoffrey Nelissen
,
Reinder J. Bril
Work-in-Progress: Analysis of TSN Time-Aware Shapers using Schedule Abstraction Graphs.
RTSS
(2021)