Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task. - J. Augusto Santos Junior; George Lima 001 (SBESC, 2012)

Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas; Shinpei Kato (RTSS, 2013)

Efficient schedulability tests for real-time embedded systems with urgent routines. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas (Des. Autom. Embed. Syst., 2014)

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems. - J. Augusto Santos Junior; George Lima 001; Konstantinos Bletsas (SBESC, 2015)