Publications

Export 11 results:
Author Title Type [ Year(Asc)]
Filters: Author is K. G. Larsen  [Clear All Filters]
2016
Wognsen ERamsgaard, Hansen R.R, Larsen K.G, Koch P..  2016.  Energy-aware scheduling of FIR filter structures using a timed automata model. DDECS 2016. :163-168.
Chadli M., Kim J.H, Legay A., Traonouez L.M, Naujokat S., Steffen B., Larsen K.G.  2016.  A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems. FMICS-AVoCS 2016. :133-141.
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.
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.
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
Larsen K.G, Potapov I., Srba J..  2016.  Reachability Problems. 10th International Workshop, RP 2016 / Lecture Notes in Computer Science 9899.
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.
2015
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.
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.
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.
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.