Journal

Algorithms for Computing the WCRT bound of OpenMP Task Systems with Conditional Branches

Accepted by IEEE Transactions on Computers

Integer Programming Approach for Schedulability of Sporadic Real-Time Systems

Published in Journal of Software 2017,28(2):411-428