Srinidhi Srinivasan

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Counter Examples

Higher Priority

Quantitative Analysis

Scheduling Problem

Top Venues

Publications

Srinidhi Srinivasan, Geoffrey Nelissen, Reinder J. Bril, Nirvana Meratnia
Analysis of TSN Time-Aware Shapers Using Schedule Abstraction Graphs. ECRTS (2024)
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)