@inproceedings{paperid:1043709,
author = {Naghibzadeh, Mahmoud and Rezaeian, Amin},
title = {Overrun-freeness verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multicores},
booktitle = {26th Euromicro Conference on Real-Time Systems},
year = {2014},
location = {Madrid},
keywords = {rate-monotonic least splitting; semi-partitioning; hard real-time scheduling},
}