HTML Export for ECRTS 2023

Copy to Clipboard Download

<h2>DARTS, Volume 9, Issue 1, ECRTS 2023</h2>
<ul>
<li>
    <span class="authors">Matthias Becker and Julien Forget</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.9.1.0">10.4230/DARTS.9.1.0</a>
</li>
<li>
    <span class="authors">Tim Rheinfels, Maximilian Gaukler, and Peter Ulbrich</span>
    <span class="title">A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.9.1.1">10.4230/DARTS.9.1.1</a>
</li>
<li>
    <span class="authors">Eva Dengler, Phillip Raffeck, Simon Schuster, and Peter Wägemann</span>
    <span class="title">FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.9.1.2">10.4230/DARTS.9.1.2</a>
</li>
<li>
    <span class="authors">Raffaele Zippo, Paul Nikolaus, and Giovanni Stea</span>
    <span class="title">Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.9.1.3">10.4230/DARTS.9.1.3</a>
</li>
<li>
    <span class="authors">Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio Medina, Nicolas Navet, Sophie Quinton, Juan M. Rivas, and Youcheng Sun</span>
    <span class="title">From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.9.1.4">10.4230/DARTS.9.1.4</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