High-level frameworks for the specification and verification of scheduling problems

Mounir Chadli, Jin H. Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis Marie Traonouez*

*Corresponding author

Research output: Contribution to journalJournal articleResearchpeer-review

2 Citations (Scopus)
Original languageEnglish
JournalInternational Journal on Software Tools for Technology Transfer
Volume20
Issue number4
Pages (from-to)397–422
Number of pages26
ISSN1433-2779
DOIs
Publication statusPublished - 2018

Fingerprint

Scheduling
Specifications
Monitoring
Cyber Physical System

Keywords

  • Energy
  • Formal methods
  • Hierarchical scheduling
  • High-level language
  • Meta-modeling
  • Scheduling
  • Statistical model-checking

Cite this

Chadli, Mounir ; Kim, Jin H. ; Larsen, Kim G. ; Legay, Axel ; Naujokat, Stefan ; Steffen, Bernhard ; Traonouez, Louis Marie. / High-level frameworks for the specification and verification of scheduling problems. In: International Journal on Software Tools for Technology Transfer. 2018 ; Vol. 20, No. 4. pp. 397–422.
@article{6f5b8b211b0a4d28aa025fa4564ad3ae,
title = "High-level frameworks for the specification and verification of scheduling problems",
keywords = "Energy, Formal methods, Hierarchical scheduling, High-level language, Meta-modeling, Scheduling, Statistical model-checking",
author = "Mounir Chadli and Kim, {Jin H.} and Larsen, {Kim G.} and Axel Legay and Stefan Naujokat and Bernhard Steffen and Traonouez, {Louis Marie}",
year = "2018",
doi = "10.1007/s10009-017-0466-1",
language = "English",
volume = "20",
pages = "397–422",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Physica-Verlag",
number = "4",

}

High-level frameworks for the specification and verification of scheduling problems. / Chadli, Mounir; Kim, Jin H.; Larsen, Kim G.; Legay, Axel; Naujokat, Stefan; Steffen, Bernhard; Traonouez, Louis Marie.

In: International Journal on Software Tools for Technology Transfer, Vol. 20, No. 4, 2018, p. 397–422.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - High-level frameworks for the specification and verification of scheduling problems

AU - Chadli, Mounir

AU - Kim, Jin H.

AU - Larsen, Kim G.

AU - Legay, Axel

AU - Naujokat, Stefan

AU - Steffen, Bernhard

AU - Traonouez, Louis Marie

PY - 2018

Y1 - 2018

KW - Energy

KW - Formal methods

KW - Hierarchical scheduling

KW - High-level language

KW - Meta-modeling

KW - Scheduling

KW - Statistical model-checking

UR - http://www.scopus.com/inward/record.url?scp=85028865826&partnerID=8YFLogxK

U2 - 10.1007/s10009-017-0466-1

DO - 10.1007/s10009-017-0466-1

M3 - Journal article

AN - SCOPUS:85028865826

VL - 20

SP - 397

EP - 422

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 4

ER -