Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is R and Author is M. Mikucionis  [Clear All Filters]
Conference Proceedings
Kim J.H, Legay A., Larsen K.G, Mikucionis M., Nielsen B..  2015.  Resource-Parameterized Timing Analysis of Real-Time Systems. . Haifa Verification Conference 2015. :190-205.
Journal Article
Boudjadar A., David A., Kim J.H., Larsen K.G, Mikucionis M., Nyman U., Skou A..  2015.  A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling. Science of Computer Programming. 113:236-260.