@Article{kritikakou_et_al:DARTS.8.1.0,
author = {Kritikakou, Angeliki and Becker, Matthias},
title = {{Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
pages = {0:i--0:x},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Kritikakou, Angeliki and Becker, Matthias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.0},
URN = {urn:nbn:de:0030-drops-164967},
doi = {10.4230/DARTS.8.1.0},
annote = {Keywords: Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{barletta_et_al:DARTS.8.1.1,
author = {Barletta, Marco and Cinque, Marcello and De Simone, Luigi and Della Corte, Raffaele},
title = {{Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers (Artifact)}},
pages = {1:1--1:12},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Barletta, Marco and Cinque, Marcello and De Simone, Luigi and Della Corte, Raffaele},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.1},
URN = {urn:nbn:de:0030-drops-164979},
doi = {10.4230/DARTS.8.1.1},
annote = {Keywords: Real-time, Mixed-criticality, Containers, Edge computing}
}
@Article{chen_et_al:DARTS.8.1.2,
author = {Chen, Kuan-Hsun and G\"{u}nzel, Mario and Jablkowski, Boguslaw and Buschhoff, Markus and Chen, Jian-Jia},
title = {{Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Chen, Kuan-Hsun and G\"{u}nzel, Mario and Jablkowski, Boguslaw and Buschhoff, Markus and Chen, Jian-Jia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.2},
URN = {urn:nbn:de:0030-drops-164987},
doi = {10.4230/DARTS.8.1.2},
annote = {Keywords: Unikernel, Virtualization, Reservation Servers, Deferrable Servers, Cyber-Physical Systems, Real-Time Systems}
}
@Article{roux_et_al:DARTS.8.1.3,
author = {Roux, Pierre and Quinton, Sophie and Boyer, Marc},
title = {{A Formal Link Between Response Time Analysis and Network Calculus (Artifact)}},
pages = {3:1--3:3},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Roux, Pierre and Quinton, Sophie and Boyer, Marc},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.3},
URN = {urn:nbn:de:0030-drops-164990},
doi = {10.4230/DARTS.8.1.3},
annote = {Keywords: Response Time Analysis, Network Calculus, dense time, discrete time, response time, formal proof, Coq}
}
@Article{ladeira_et_al:DARTS.8.1.4,
author = {Ladeira, Matheus and Grolleau, Emmanuel and Bonneval, Fabien and Hattenberger, Gautier and Ouhammou, Yassine and H\'{e}rouard, Yuri},
title = {{Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact)}},
pages = {4:1--4:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Ladeira, Matheus and Grolleau, Emmanuel and Bonneval, Fabien and Hattenberger, Gautier and Ouhammou, Yassine and H\'{e}rouard, Yuri},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.4},
URN = {urn:nbn:de:0030-drops-165000},
doi = {10.4230/DARTS.8.1.4},
annote = {Keywords: Scheduling, non-preemptible, heuristics, FIFO, autopilot}
}
@Article{aromolo_et_al:DARTS.8.1.5,
author = {Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey},
title = {{Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact)}},
pages = {5:1--5:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Aromolo, Federico and Biondi, Alessandro and Nelissen, Geoffrey},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.5},
URN = {urn:nbn:de:0030-drops-165012},
doi = {10.4230/DARTS.8.1.5},
annote = {Keywords: Real-Time Systems, Schedulability Analysis, Self-Suspending Tasks, EDF Scheduling}
}
@Article{dealbuquerquesilva_et_al:DARTS.8.1.6,
author = {De Albuquerque Silva, Iryna and Carle, Thomas and Gauffriau, Adrien and Pagetti, Claire},
title = {{ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)}},
pages = {6:1--6:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {De Albuquerque Silva, Iryna and Carle, Thomas and Gauffriau, Adrien and Pagetti, Claire},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.6},
URN = {urn:nbn:de:0030-drops-165023},
doi = {10.4230/DARTS.8.1.6},
annote = {Keywords: Real-time safety-critical systems, Worst Case Execution Time analysis, Artificial Neural Networks implementation}
}
@Article{maida_et_al:DARTS.8.1.7,
author = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.},
title = {{Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact)}},
pages = {7:1--7:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2022},
volume = {8},
number = {1},
editor = {Maida, Marco and Bozhko, Sergey and Brandenburg, Bj\"{o}rn B.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.8.1.7},
URN = {urn:nbn:de:0030-drops-165038},
doi = {10.4230/DARTS.8.1.7},
annote = {Keywords: hard real-time systems, response-time analysis, uniprocessor, Coq, Prosa, fixed priority, EDF, preemptive, non-preemptive, verification}
}
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
Feedback for Dagstuhl Publishing