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

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

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

6 Citations (Scopus)

Original language	English
Title of host publication	Models, Algorithms, Logics and Tools
Publisher	Springer
Publication date	2017
ISBN (Print)	978-3-319-63120-2
ISBN (Electronic)	978-3-319-63121-9
DOIs	https://doi.org/10.1007/978-3-319-63121-9_28
Publication status	Published - 2017
Event	Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - Duration: 25 Jul 2017 → … https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28

Other	Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Period	25/07/2017 → …
Internet address	https://link.springer.com/chapter/10.1007%2F978-3-319-63121-9_28

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

Access to Document

@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",

note = "Essays Dedicated to Kim Guldstrand Larsen<br/>on the Occasion of His 60th Birthday ; Conference date: 25-07-2017",

url = "https://link.springer.com/chapter/10.1007%2F978-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, Vol. 10460).

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

TY - GEN

T1 - WUPPAAL

T2 - Essays Dedicated to Kim Guldstrand Larsen<br/>on the Occasion of His 60th Birthday

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

Y2 - 25 July 2017

ER -