@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}
}