Published in: OASIcs, Volume 72, 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)
Steven Varoumas and Tristan Crolard. WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation. In 19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019). Open Access Series in Informatics (OASIcs), Volume 72, pp. 5:1-5:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{varoumas_et_al:OASIcs.WCET.2019.5, author = {Varoumas, Steven and Crolard, Tristan}, title = {{WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {5:1--5:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-118-4}, ISSN = {2190-6807}, year = {2019}, volume = {72}, editor = {Altmeyer, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2019.5}, URN = {urn:nbn:de:0030-drops-107702}, doi = {10.4230/OASIcs.WCET.2019.5}, annote = {Keywords: Worst-case execution time, microcontrollers, synchronous programming, bytecode, OCaml} }
Feedback for Dagstuhl Publishing