Publications

Export 6 results:
Author [ Title(Asc)] Type Year
Filters: First Letter Of Last Name is M and Author is M. Mikucionis  [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 
S
Boudjadar A., David A., Kim J.H, Larsen K.G, Mikucionis M., Nyman U., Skou A..  2016.  Statistical and exact schedulability analysis of hierarchical scheduling systems. . Science of Computer Programming. 127:103-130.
R
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.
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.
Q
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.
O
Larsen K.G, Mikucionis M., Muñiz M., Srba J., Taankvist J.H.  2016.  Online and Compositional Learning of Controllers with Application to Floor Heating.. TACAS 2016. :244-259.
F
Boudjadar A., Kim J.H, David A., Larsen K.G, Mikucionis M., Nyman U., Skou A., Lee I., Phan L.TX.  2015.  Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks. ISORC 2015. :74-83.