Srinidhi Srinivasan

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Exact Schedulability Analysis for Limited-Preemptive Parallel Applications Using Timed Automata in UPPAAL.
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.
Proceedings of the IEEE Real-Time Systems Symposium, 2024

Analysis of TSN Time-Aware Shapers Using Schedule Abstraction Graphs.
Proceedings of the 36th Euromicro Conference on Real-Time Systems, 2024

2023
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction.
Proceedings of the IEEE Real-Time Systems Symposium, 2023

2021
Work-in-Progress: Analysis of TSN Time-Aware Shapers using Schedule Abstraction Graphs.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021


  Loading...