Publications

Export 3 results:
[ Author(Asc)] Title Type Year
Filters: Author is J. H. Kim  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
K
Kim J.H, Legay A., Traonouez L., Boudjadar A., Nyman U., Larsen K.G, Lee I., Cho J.Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems.. SIGBED. 13:41-48.
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.
Kim J.H, Boudjadar A., Nyman U., Mikucionis M., Larsen K.G, Skou A., Lee I., L. Phan TXuan.  2015.  Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. CBSE 2015. :91-100.