@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing