Srinidhi Srinivasan

According to our database, Srinidhi Srinivasan authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL.

Jonas Hansen, Srinidhi Srinivasan, Geoffrey Nelissen, Kim G. Larsen

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Response-Time Analysis for Limited-Preemptive Self-Suspending and Event-Driven Delay-Induced Tasks.

Srinidhi Srinivasan, Mario Günzel, Geoffrey Nelissen

Proceedings of the IEEE Real-Time Systems Symposium, 2024

Analysis of TSN Time-Aware Shapers Using Schedule Abstraction Graphs.

Srinidhi Srinivasan, Geoffrey Nelissen, Reinder J. Bril, Nirvana Meratnia

Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024

2023

Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction.

Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri

Proceedings of the IEEE Real-Time Systems Symposium, 2023

2021

Work-in-Progress: Analysis of TSN Time-Aware Shapers using Schedule Abstraction Graphs.

Srinidhi Srinivasan, Geoffrey Nelissen, Reinder J. Bril

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021