Publications

Export 4 results:
Author [ Title(Asc)] Type Year
Filters: Author is A. Legay  [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 
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.
P
Larsen K.G, Legay A..  2016.  On the Power of Statistical Model Checking. ISoLA 2016. :843-862.
O
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.
M
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.