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 proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationModels, Algorithms, Logics and Tools
PublisherSpringer
Publication date2017
ISBN (Print)978-3-319-63120-2
ISBN (Electronic)978-3-319-63121-9
DOIs
Publication statusPublished - 2017
EventEssays 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

OtherEssays Dedicated to Kim Guldstrand Larsen
on the Occasion of His 60th Birthday
Period25/07/2017 → …
Internet address
SeriesLecture Notes in Computer Science
Volume10460
ISSN0302-9743

Cite this

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