Srinidhi Srinivasan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2021–2025
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DATE | Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL. | Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen |
| 2024 | ECRTS | Analysis of TSN Time-Aware Shapers Using Schedule Abstraction Graphs. | Srinidhi Srinivasan, Geoffrey Nelissen, Reinder J. Bril, Nirvana Meratnia |
| 2024 | RTSS | Response-Time Analysis for Limited-Preemptive Self-Suspending and Event-Driven Delay-Induced Tasks. | Srinidhi Srinivasan, Mario Gnzel, Geoffrey Nelissen |
| 2023 | RTSS | Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction. | Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri |
| 2021 | RTSS | Work-in-Progress: Analysis of TSN Time-Aware Shapers using Schedule Abstraction Graphs. | Srinidhi Srinivasan, Geoffrey Nelissen, Reinder J. Bril |