Export 6 results:Author [ Title] Type Year
Filters: Author is M. Mikucionis [Clear All Filters]
Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.. 2016.
Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.. 2015.
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.. 2015.
Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.. 2016.