WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

Franck Cassez, Pablo Gonzalez de Aledo, Peter Gjøl Jensen

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelModels, Algorithms, Logics and Tools
ForlagSpringer
Publikationsdato2017
ISBN (Trykt)978-3-319-63120-2
ISBN (Elektronisk)978-3-319-63121-9
DOI
StatusUdgivet - 2017
BegivenhedEssays Dedicated to Kim Guldstrand Larsen
on the Occasion of His 60th Birthday
-
Varighed: 25 jul. 2017 → …
https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28

Andet

AndetEssays Dedicated to Kim Guldstrand Larsen
on the Occasion of His 60th Birthday
Periode25/07/2017 → …
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind10460
ISSN0302-9743

Citer dette

Cassez, F., Gonzalez de Aledo, P., & Jensen, P. G. (2017). WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. I Models, Algorithms, Logics and Tools Springer. Lecture Notes in Computer Science, Bind. 10460 https://doi.org/10.1007/978-3-319-63121-9_28
Cassez, Franck ; Gonzalez de Aledo, Pablo ; Jensen, Peter Gjøl. / WUPPAAL : Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools. Springer, 2017. (Lecture Notes in Computer Science, Bind 10460).
@inproceedings{13df7f0c306d4a6a93955f9a9086d43c,
title = "WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL",
author = "Franck Cassez and {Gonzalez de Aledo}, Pablo and Jensen, {Peter Gj{\o}l}",
year = "2017",
doi = "10.1007/978-3-319-63121-9_28",
language = "English",
isbn = "978-3-319-63120-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
booktitle = "Models, Algorithms, Logics and Tools",
address = "Germany",

}

Cassez, F, Gonzalez de Aledo, P & Jensen, PG 2017, WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. i Models, Algorithms, Logics and Tools. Springer, Lecture Notes in Computer Science, bind 10460, 25/07/2017. https://doi.org/10.1007/978-3-319-63121-9_28

WUPPAAL : Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. / Cassez, Franck; Gonzalez de Aledo, Pablo; Jensen, Peter Gjøl.

Models, Algorithms, Logics and Tools. Springer, 2017. (Lecture Notes in Computer Science, Bind 10460).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - WUPPAAL

T2 - Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

AU - Cassez, Franck

AU - Gonzalez de Aledo, Pablo

AU - Jensen, Peter Gjøl

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-63121-9_28

DO - 10.1007/978-3-319-63121-9_28

M3 - Article in proceeding

SN - 978-3-319-63120-2

T3 - Lecture Notes in Computer Science

BT - Models, Algorithms, Logics and Tools

PB - Springer

ER -

Cassez F, Gonzalez de Aledo P, Jensen PG. WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. I Models, Algorithms, Logics and Tools. Springer. 2017. (Lecture Notes in Computer Science, Bind 10460). https://doi.org/10.1007/978-3-319-63121-9_28