Publications

Export 3 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is R and Author is K. G. Larsen  [Clear All Filters]
Conference Proceedings
Larsen K.G, Potapov I., Srba J..  2016.  Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
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.