HTML Export for WCET 2015

Copy to Clipboard Download

<h2>OASIcs, Volume 47, WCET 2015</h2>
<ul>
<li>
    <span class="authors">Francisco J. Cazorla</span>
    <span class="title">OASIcs, Volume 47, WCET&#039;15, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015">10.4230/OASIcs.WCET.2015</a>
</li>
<li>
    <span class="authors">Francisco J. Cazorla</span>
    <span class="title">Front Matter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.i">10.4230/OASIcs.WCET.2015.i</a>
</li>
<li>
    <span class="authors">Hugues Cassé, Haluk Ozaktas, and Christine Rochange</span>
    <span class="title">A Framework to Quantify the Overestimations of Static WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.1">10.4230/OASIcs.WCET.2015.1</a>
</li>
<li>
    <span class="authors">Marco Ziccardi, Alessandro Cornaglia, Enrico Mezzetti, and Tullio Vardanega</span>
    <span class="title">Software-enforced Interconnect Arbitration for COTS Multicores</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.11">10.4230/OASIcs.WCET.2015.11</a>
</li>
<li>
    <span class="authors">Mahdi Eslamimehr and Hesam Samimi</span>
    <span class="title">Timing Analysis of Event-Driven Programs with Directed Testing</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.21">10.4230/OASIcs.WCET.2015.21</a>
</li>
<li>
    <span class="authors">Peter Wägemann, Tobias Distler, Timo Hönig, Volkmar Sieh, and Wolfgang Schröder-Preikschat</span>
    <span class="title">GenE: A Benchmark Generator for WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.33">10.4230/OASIcs.WCET.2015.33</a>
</li>
<li>
    <span class="authors">Boris Dreyer, Christian Hochberger, Simon Wegener, and Alexander Weiss</span>
    <span class="title">Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.45">10.4230/OASIcs.WCET.2015.45</a>
</li>
<li>
    <span class="authors">Clément Ballabriga, Julien Forget, and Giuseppe Lipari</span>
    <span class="title">Context-sensitive Parametric WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.55">10.4230/OASIcs.WCET.2015.55</a>
</li>
<li>
    <span class="authors">Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, and Christine Rochange</span>
    <span class="title">WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.65">10.4230/OASIcs.WCET.2015.65</a>
</li>
<li>
    <span class="authors">Georg Wassen and Stefan Lankes</span>
    <span class="title">Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.75">10.4230/OASIcs.WCET.2015.75</a>
</li>
<li>
    <span class="authors">Niklas Holsti, Jan Gustafsson, Linus Källberg, and Björn Lisper</span>
    <span class="title">Analysing Switch-Case Code with Abstract Execution</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.85">10.4230/OASIcs.WCET.2015.85</a>
</li>
<li>
    <span class="authors">Jordy Ruiz and Hugues Cassé</span>
    <span class="title">Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2015.95">10.4230/OASIcs.WCET.2015.95</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