@Proceedings{altmeyer:OASIcs.WCET.2019, title = {{OASIcs, Volume 72, WCET'19, Complete Volume}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, 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}, URN = {urn:nbn:de:0030-drops-108667}, doi = {10.4230/OASIcs.WCET.2019}, annote = {Keywords: Theory of computation, Program analysis, Computer systems organization, Real-time systems, Software and its engineering, Software performance;} } @InProceedings{altmeyer:OASIcs.WCET.2019.0, author = {Altmeyer, Sebastian}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {0:i--0:ix}, 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.0}, URN = {urn:nbn:de:0030-drops-107650}, doi = {10.4230/OASIcs.WCET.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{kastner_et_al:OASIcs.WCET.2019.1, author = {K\"{a}stner, Daniel and Pister, Markus and Wegener, Simon and Ferdinand, Christian}, title = {{TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {1:1--1:11}, 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.1}, URN = {urn:nbn:de:0030-drops-107661}, doi = {10.4230/OASIcs.WCET.2019.1}, annote = {Keywords: Worst-Case Execution Time (WCET) Analysis, Real-time Tracing, Functional Safety} } @InProceedings{dreyer_et_al:OASIcs.WCET.2019.2, author = {Dreyer, Boris and Hochberger, Christian}, title = {{Non-Intrusive Online Timing Analysis of Large Embedded Applications}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {2:1--2:11}, 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.2}, URN = {urn:nbn:de:0030-drops-107674}, doi = {10.4230/OASIcs.WCET.2019.2}, annote = {Keywords: WCET, Execution Time Profiling, ARM CoreSight, Event Stream Processing} } @InProceedings{giesen_et_al:OASIcs.WCET.2019.3, author = {Giesen, Jeremy and Mezzetti, Enrico and Abella, Jaume and Fern\'{a}ndez, Enrique and Cazorla, Francisco J.}, title = {{ePAPI: Performance Application Programming Interface for Embedded Platforms}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {3:1--3:13}, 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.3}, URN = {urn:nbn:de:0030-drops-107682}, doi = {10.4230/OASIcs.WCET.2019.3}, annote = {Keywords: Monitoring counters, embedded systems} } @InProceedings{raffeck_et_al:OASIcs.WCET.2019.4, author = {Raffeck, Phillip and Eichler, Christian and W\"{a}gemann, Peter and Schr\"{o}der-Preikschat, Wolfgang}, title = {{Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {4:1--4: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.4}, URN = {urn:nbn:de:0030-drops-107699}, doi = {10.4230/OASIcs.WCET.2019.4}, annote = {Keywords: WCEC, WCRE, WCET, michroarchitecture analysis, whole-system analysis} } @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} } @InProceedings{sun_et_al:OASIcs.WCET.2019.6, author = {Sun, Wei-Tsun and Jenn, Eric and Cass\'{e}, Hugues}, title = {{Validating Static WCET Analysis: A Method and Its Application}}, booktitle = {19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019)}, pages = {6:1--6:10}, 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.6}, URN = {urn:nbn:de:0030-drops-107713}, doi = {10.4230/OASIcs.WCET.2019.6}, annote = {Keywords: validation of WCET tools, ISS, nML} }