Journal: Real-Time Systems

Volume 47, Issue 4

285 -- 318Farn Wang, Li-Wei Yao, Ya-Lan Yang. Efficient verification of distributed real-time systems with broadcasting behaviors
319 -- 355Konstantinos Bletsas, Björn Andersson. Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound
356 -- 377Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti. Sticky-ERfair: a task-processor affinity aware proportional fair scheduler
378 -- 381Geoffrey Nelissen, Joël Goossens. A counter-example to: Sticky-ERfair: a task-processor affinity aware proportional fair scheduler
382 -- 385Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti. A Corrigendum to: Sticky-ERfair: a task-processor affinity aware proportional fair scheduler