Publications
.
2015.
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
.
2016. Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
.
2016. .
2015.
Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
.
2015. Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
.
2016.