Sayra Ranjha

According to our database, Sayra Ranjha authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

2023

Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks.

Sayra Ranjha, Pourya Gohari, Geoffrey Nelissen, Mitra Nasri

Real Time Syst., 2023

2022

Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks.

Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

2021

Interactive animation on Directional derivatives & Level curves.

Sayra Ranjha, Vera Hoveling, Beryl van Gelderen, Fokko J. van de Bult, Dennis den Ouden van der Horst, Christophe Smet, Marijn Roelvink, Ilse Bakker

Proceedings of the Web3D '21: The 26th International Conference on 3D Web Technology, Pisa, Italy, November 8, 2021

Work-in-Progress: Partial-Order Reduction in Reachability-Based Response-Time Analyses.

Sayra Ranjha, Mitra Nasri, Geoffrey Nelissen

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