HTML Export for WCET 2019

Copy to Clipboard Download

<h2>OASIcs, Volume 72, WCET 2019</h2>
<ul>
<li>
    <span class="authors">Sebastian Altmeyer</span>
    <span class="title">OASIcs, Volume 72, WCET&#039;19, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019">10.4230/OASIcs.WCET.2019</a>
</li>
<li>
    <span class="authors">Sebastian Altmeyer</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.0">10.4230/OASIcs.WCET.2019.0</a>
</li>
<li>
    <span class="authors">Daniel Kästner, Markus Pister, Simon Wegener, and Christian Ferdinand</span>
    <span class="title">TimeWeaver: A Tool for Hybrid Worst-Case Execution Time Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.1">10.4230/OASIcs.WCET.2019.1</a>
</li>
<li>
    <span class="authors">Boris Dreyer and Christian Hochberger</span>
    <span class="title">Non-Intrusive Online Timing Analysis of Large Embedded Applications</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.2">10.4230/OASIcs.WCET.2019.2</a>
</li>
<li>
    <span class="authors">Jeremy Giesen, Enrico Mezzetti, Jaume Abella, Enrique Fernández, and Francisco J. Cazorla</span>
    <span class="title">ePAPI: Performance Application Programming Interface for Embedded Platforms</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.3">10.4230/OASIcs.WCET.2019.3</a>
</li>
<li>
    <span class="authors">Phillip Raffeck, Christian Eichler, Peter Wägemann, and Wolfgang Schröder-Preikschat</span>
    <span class="title">Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.4">10.4230/OASIcs.WCET.2019.4</a>
</li>
<li>
    <span class="authors">Steven Varoumas and Tristan Crolard</span>
    <span class="title">WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.5">10.4230/OASIcs.WCET.2019.5</a>
</li>
<li>
    <span class="authors">Wei-Tsun Sun, Eric Jenn, and Hugues Cassé</span>
    <span class="title">Validating Static WCET Analysis: A Method and Its Application</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2019.6">10.4230/OASIcs.WCET.2019.6</a>
</li>
</ul>

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

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail