Work-in-Progress: Partial-Order Reduction in Reachability-Based Response-Time Analyses. - Sayra Ranjha; Mitra Nasri; Geoffrey Nelissen (RTSS, 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 (Web3D, 2021)

Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks. - Sayra Ranjha; Geoffrey Nelissen; Mitra Nasri (RTAS, 2022)

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)