Publications

Export 42 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is L  [Clear All Filters]
2016
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.
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.
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., 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 JHyun, Legay A, Traonouez L-M, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J-Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems..  SIGBED Review . 13:41-48.
Kim JHyun, Legay A, Traonouez L-M, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J-Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems..  SIGBED Review . 13:41-48.
Kim JHyun, Legay A, Traonouez L-M, Boudjadar A, Nyman U, Larsen KG, Lee I, Choi J-Y.  2016.  Optimizing the resource requirements of hierarchical scheduling systems..  SIGBED Review . 13:41-48.
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
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.
Li X., Gallagher J.P..  2016.  A Source-level Energy Optimization Framework for Mobile Applications. IEEE International Working Conference on Source Code Analysis and Manipulation.
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.
Lopez-Suarez M., Neri I., Gammaitoni L..  2016.  Sub-kBT micro-electromechanical irreversible logic gate. Nature Communications. 7
L. Llin F.  2016.  Thermoelectric cross-plane properties on p- and n-Ge/SixGe1-x superlattices. Thin Solid Films. 602
L. Llin F.  2016.  The Use of Silicon-Germanium Superlattices in Thermoelectric Devices and Microfabricated Generators. ECS Transactions. 75(8)

Pages