Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri. Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks. In 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022. pages 121-132, IEEE, 2022. [doi]
Abstract is missing.