585 | -- | 591 | Geoffrey Nelissen, Konstantinos Bletsas, Joël Goossens. CPMD-mindful task assignment for NPS-F |
592 | -- | 619 | Qiushi Han, Linwei Niu, Gang Quan, Shaolei Ren, Shangping Ren. Energy efficient fault-tolerant earliest deadline first scheduling for hard real-time systems |
620 | -- | 679 | Étienne André, Yang Liu 0003, Jun Sun 0001, Jin Song Dong. Parameter synthesis for hierarchical concurrent real-time systems |
680 | -- | 735 | Paulo Baltarejo Sousa, Konstantinos Bletsas, Eduardo Tovar, Pedro Souto, Benny Akesson. Unified overhead-aware schedulability analysis for slot-based task-splitting |
736 | -- | 773 | Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets |