Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Jalil Boudjadar; Alexandre David; Jin Hyun Kim; Kim G. Larsen; Marius Mikucionis; Ulrik Mathias Nyman; Arne Skou

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Jalil Boudjadar^*
, Alexandre David
, Jin Hyun Kim
, Kim G. Larsen
, Marius Mikucionis
, Ulrik Mathias Nyman
, Arne Skou

^*Corresponding author for this work

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal Aspects of Component Software
Number of pages	18
Publisher	Springer
Publication date	Oct 2013
Pages	61-78
Publication status	Published - Oct 2013
Externally published	Yes
Event	10th International Symposium on Formal Aspects of Component Software). - Nanchang, China Duration: 28 Oct 2013 → 30 Oct 2013

Conference

Conference	10th International Symposium on Formal Aspects of Component Software).
Country/Territory	China
City	Nanchang
Period	28/10/2013 → 30/10/2013

Series	Lecture Notes in Computer Science
Volume	8348
ISSN	0302-9743

Access to Document

https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6

Library access?

Check availability with the Royal Danish Library

Cite this

@inproceedings{490283b9eb3848308f0d6a617acf3571,

title = "Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal",

author = "Jalil Boudjadar and Alexandre David and Kim, \{Jin Hyun\} and \{G. Larsen\}, Kim and Marius Mikucionis and Nyman, \{Ulrik Mathias\} and Arne Skou",

year = "2013",

month = oct,

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "61--78",

booktitle = "Formal Aspects of Component Software",

address = "Netherlands",

note = "10th International Symposium on Formal Aspects of Component Software). ; Conference date: 28-10-2013 Through 30-10-2013",

}

Boudjadar, J, David, A, Kim, JH, G. Larsen, K, Mikucionis, M, Nyman, UM & Skou, A 2013, Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. in Formal Aspects of Component Software. Springer, Lecture Notes in Computer Science, vol. 8348, pp. 61-78, 10th International Symposium on Formal Aspects of Component Software)., Nanchang, China, 28/10/2013. <https://link.springer.com/chapter/10.1007/978-3-319-07602-7_6>

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal. / Boudjadar, Jalil; David, Alexandre; Kim, Jin Hyun et al.
Formal Aspects of Component Software. Springer, 2013. p. 61-78 (Lecture Notes in Computer Science, Vol. 8348).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

AU - Boudjadar, Jalil

AU - David, Alexandre

AU - Kim, Jin Hyun

AU - G. Larsen, Kim

AU - Mikucionis, Marius

AU - Nyman, Ulrik Mathias

AU - Skou, Arne

PY - 2013/10

Y1 - 2013/10

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 61

EP - 78

BT - Formal Aspects of Component Software

PB - Springer

T2 - 10th International Symposium on Formal Aspects of Component Software).

Y2 - 28 October 2013 through 30 October 2013

ER -