HTML Export for WCET 2013

Copy to Clipboard Download

<h2>OASIcs, Volume 30, WCET 2013</h2>
<ul>
<li>
    <span class="authors">Claire Maiza</span>
    <span class="title">OASIcs, Volume 30, WCET&#039;13, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013">10.4230/OASIcs.WCET.2013</a>
</li>
<li>
    <span class="authors">Claire Maiza</span>
    <span class="title">Frontmatter, Table of Contents, Preface, Workshop Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.i">10.4230/OASIcs.WCET.2013.i</a>
</li>
<li>
    <span class="authors">Timon Kelter, Tim Harde, Peter Marwedel, and Heiko Falk</span>
    <span class="title">Evaluation of resource arbitration methods for multi-core real-time systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.1">10.4230/OASIcs.WCET.2013.1</a>
</li>
<li>
    <span class="authors">Haluk Ozaktas, Christine Rochange, and Pascal Sainrat</span>
    <span class="title">Automatic WCET Analysis of Real-Time Parallel Applications</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.11">10.4230/OASIcs.WCET.2013.11</a>
</li>
<li>
    <span class="authors">Dumitru Potop-Butucaru and Isabelle Puaut</span>
    <span class="title">Integrated Worst-Case Execution Time Estimation of Multicore Applications</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.21">10.4230/OASIcs.WCET.2013.21</a>
</li>
<li>
    <span class="authors">Mihail Asavoae, Claire Maiza, and Pascal Raymond</span>
    <span class="title">Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.32">10.4230/OASIcs.WCET.2013.32</a>
</li>
<li>
    <span class="authors">Hugues Cassé, Florian Birée, and Pascal Sainrat</span>
    <span class="title">Multi-architecture Value Analysis for Machine Code</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.42">10.4230/OASIcs.WCET.2013.42</a>
</li>
<li>
    <span class="authors">Armin Biere, Jens Knoop, Laura Kovács, and Jakob Zwirchmayr</span>
    <span class="title">The Auspicious Couple: Symbolic Execution and WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.53">10.4230/OASIcs.WCET.2013.53</a>
</li>
<li>
    <span class="authors">Francisco J. Cazorla, Tullio Vardanega, Eduardo Quiñones, and Jaume Abella</span>
    <span class="title">Upper-bounding Program Execution Time with Extreme Value Theory</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.64">10.4230/OASIcs.WCET.2013.64</a>
</li>
<li>
    <span class="authors">Florian Haupenthal and Jörg Herter</span>
    <span class="title">PRADA: Predictable Allocations by Deferred Actions</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.77">10.4230/OASIcs.WCET.2013.77</a>
</li>
<li>
    <span class="authors">Jorge Garrido, Juan Zamorano, and Juan A. de la Puente</span>
    <span class="title">Static analysis of WCET in a satellite software subsystem</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.87">10.4230/OASIcs.WCET.2013.87</a>
</li>
<li>
    <span class="authors">Leonidas Kosmidis, Tullio Vardanega, Jaume Abella, Eduardo Quiñones, and Francisco J. Cazorla</span>
    <span class="title">Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2013.97">10.4230/OASIcs.WCET.2013.97</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