HTML Export for WCET 2007

Copy to Clipboard Download

<h2>OASIcs, Volume 6, WCET 2007</h2>
<ul>
<li>
    <span class="authors">Christine Rochange</span>
    <span class="title">OASIcs, Volume 6, WCET&#039;07, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007">10.4230/OASIcs.WCET.2007</a>
</li>
<li>
    <span class="authors">Christine Rochange</span>
    <span class="title">WCET 2007 Abstracts Collection -- 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1238">10.4230/OASIcs.WCET.2007.1238</a>
</li>
<li>
    <span class="authors">Jan Gustafsson</span>
    <span class="title">WCET 2007 -- Report from the WCET Tool Challenge 2006 Ideas for the WCET Tool Challenge 2008</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1198">10.4230/OASIcs.WCET.2007.1198</a>
</li>
<li>
    <span class="authors">Marc Schlickling and Markus Pister</span>
    <span class="title">A Framework for Static Analysis of VHDL Code</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1189">10.4230/OASIcs.WCET.2007.1189</a>
</li>
<li>
    <span class="authors">Niklas Holsti</span>
    <span class="title">Analysing Switch-Case Tables by Partial Evaluation</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1195">10.4230/OASIcs.WCET.2007.1195</a>
</li>
<li>
    <span class="authors">Ingmar Stein and Florian Martin</span>
    <span class="title">Analysis of path exclusion at the machine code level</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1196">10.4230/OASIcs.WCET.2007.1196</a>
</li>
<li>
    <span class="authors">Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, and Robert Pointon</span>
    <span class="title">Automatic Amortised Worst-Case Execution Time Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1186">10.4230/OASIcs.WCET.2007.1186</a>
</li>
<li>
    <span class="authors">Johan Fredriksson, Thomas Nolte, Andreas Ermedahl, and Mikael Nolin</span>
    <span class="title">Clustering Worst-Case Execution Times for Software Components</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1185">10.4230/OASIcs.WCET.2007.1185</a>
</li>
<li>
    <span class="authors">Christoph Cullmann and Florian Martin</span>
    <span class="title">Data-Flow Based Detection of Loop Bounds</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1193">10.4230/OASIcs.WCET.2007.1193</a>
</li>
<li>
    <span class="authors">Daniel Sundmark, Anders Petterson, Christer Sandberg, Andreas Ermedahl, and Henrik Thane</span>
    <span class="title">Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1191">10.4230/OASIcs.WCET.2007.1191</a>
</li>
<li>
    <span class="authors">Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, and Björn Lisper</span>
    <span class="title">Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1194">10.4230/OASIcs.WCET.2007.1194</a>
</li>
<li>
    <span class="authors">Stefan M. Petters, Patryk Zadarnowski, and Gernot Heiser</span>
    <span class="title">Measurements or Static Analysis or Both?</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1188">10.4230/OASIcs.WCET.2007.1188</a>
</li>
<li>
    <span class="authors">Liang Yun, Abhik Roychoudhury, and Tulika Mitra</span>
    <span class="title">Timing Analysis of Body Area Network Applications</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1192">10.4230/OASIcs.WCET.2007.1192</a>
</li>
<li>
    <span class="authors">Stephan Wilhelm and Björn Wachter</span>
    <span class="title">Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1190">10.4230/OASIcs.WCET.2007.1190</a>
</li>
<li>
    <span class="authors">Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, and Ingomar Wenzel</span>
    <span class="title">WCET Analysis: The Annotation Language Challenge</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.WCET.2007.1197">10.4230/OASIcs.WCET.2007.1197</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