HTML Export for CERTS 2019

Copy to Clipboard Download

<h2>OASIcs, Volume 73, CERTS 2019</h2>
<ul>
<li>
    <span class="authors">Ill-ham Atchadam, Frank Singhoff, Hai Nam Tran, Noura Bouzid, and Laurent Lemarchand</span>
    <span class="title">Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.1">10.4230/OASIcs.CERTS.2019.1</a>
</li>
<li>
    <span class="authors">Mikael Asplund and Michael Paulitsch</span>
    <span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.0">10.4230/OASIcs.CERTS.2019.0</a>
</li>
<li>
    <span class="authors">Marine Kadar, Sergey Tverdyshev, and Gerhard Fohler</span>
    <span class="title">System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.2">10.4230/OASIcs.CERTS.2019.2</a>
</li>
<li>
    <span class="authors">Fredrik Warg and Martin Skoglund</span>
    <span class="title">Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.3">10.4230/OASIcs.CERTS.2019.3</a>
</li>
<li>
    <span class="authors">Andrew Paverd, Marcus Völp, Ferdinand Brasser, Matthias Schunter, N. Asokan, Ahmad-Reza Sadeghi, Paulo Esteves-Veríssimo, Andreas Steininger, and Thorsten Holz</span>
    <span class="title">Sustainable Security &amp; Safety: Challenges and Opportunities</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.4">10.4230/OASIcs.CERTS.2019.4</a>
</li>
<li>
    <span class="authors">Radu Dobrin, Nitin Desai, and Sasikumar Punnekkat</span>
    <span class="title">On Fault-Tolerant Scheduling of Time Sensitive Networks</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019.5">10.4230/OASIcs.CERTS.2019.5</a>
</li>
<li>
    <span class="authors">Mikael Asplund and Michael Paulitsch</span>
    <span class="title">OASIcs, Volume 73, CERTS&#039;19, Complete Volume</span>
    <a class="doi" href="https://doi.org/10.4230/OASIcs.CERTS.2019">10.4230/OASIcs.CERTS.2019</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