Skip to contents

  3. Mezzetti, Enrico [Author]; Ziccardi, Marco [Author]; Vardanega, Tullio [Author]; Abella, Jaume [Author]; Quiñones, Eduardo [Author]; Cazorla, Francisco J. [Author] ; Enrico Mezzetti and Marco Ziccardi and Tullio Vardanega and Jaume Abella and Eduardo Quiñones and Francisco J. Cazorla [Contributor]

    Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  5. Küttler, Martin [Author]; Roitzsch, Michael [Author]; Hamann, Claude-Joachim [Author]; Völp, Marcus [Author]

    Probabilistic Analysis of Low-Criticality Execution

    Other
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Dresden: Technische Universität Dresden, [2018]

    Published in: Technische Berichte ; 2017,02 (TUD-FI17-02-November 2017)

  6. Baruah, Sanjoy K. [Author]; Cucu-Grosjean, Liliana [Author]; Davis, Roabert I. [Author]; Maiza, Claire [Author] ; Sanjoy K. Baruah and Liliana Cucu-Grosjean and Roabert I. Davis and Claire Maiza [Contributor]

    Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  7. Gujarati, Arpan [Author]; Nasri, Mitra [Author]; Brandenburg, Björn B. [Author] ; Arpan Gujarati and Mitra Nasri and Björn B. Brandenburg [Contributor]

    Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  9. Katoen, Joost-Pieter [Author]

    Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1999

    Published in: Lecture notes in computer science ; 1601

  11. Marković, Filip [Author]; Papadopoulos, Alessandro Vittorio [Author]; Nolte, Thomas [Author] ; Filip Marković and Alessandro Vittorio Papadopoulos and Thomas Nolte [Contributor]

    On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  12. Marković, Filip [Author]; Papadopoulos, Alessandro Vittorio [Author]; Nolte, Thomas [Author] ; Filip Marković and Alessandro Vittorio Papadopoulos and Thomas Nolte [Contributor]

    On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021