@Article{ca'mara_et_al:DARTS.3.1.0,
  author =	{Cámara, Javier and Nuseibeh, Bashar and Garlan, David},
  title =	{{ Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}},
  pages =	{0:i--0:xii},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Cámara, Javier and Nuseibeh, Bashar and Garlan, David},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.0},
  URN =		{urn:nbn:de:0030-drops-71389},
  doi =		{10.4230/DARTS.3.1.0},
  annote =	{Keywords: Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee}
}
@Article{zhang_et_al:DARTS.3.1.1,
  author =	{Zhang, Bo and Krikava, Filip and Rouvoy, Romain and Seinturier, Lionel},
  title =	{{Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact)}},
  pages =	{1:1--1:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Zhang, Bo and Krikava, Filip and Rouvoy, Romain and Seinturier, Lionel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.1},
  URN =		{urn:nbn:de:0030-drops-71392},
  doi =		{10.4230/DARTS.3.1.1},
  annote =	{Keywords: Hadoop, Docker, Rapid Prototyping, Benchmark}
}
@Article{maggio_et_al:DARTS.3.1.2,
  author =	{Maggio, Martina and Papadopoulos, Alessandro Vittorio and Filieri, Antonio and Hoffmann, Henry},
  title =	{{Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact)}},
  pages =	{2:1--2:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Maggio, Martina and Papadopoulos, Alessandro Vittorio and Filieri, Antonio and Hoffmann, Henry},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.2},
  URN =		{urn:nbn:de:0030-drops-71408},
  doi =		{10.4230/DARTS.3.1.2},
  annote =	{Keywords: self-adaptive software, video encoding, comparison, control theory}
}
@Article{gerasimou_et_al:DARTS.3.1.3,
  author =	{Gerasimou, Simos and Calinescu, Radu and Shevtsov, Stepan and Weyns, Danny},
  title =	{{UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater  Vehicles (Artifact)}},
  pages =	{3:1--3:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Gerasimou, Simos and Calinescu, Radu and Shevtsov, Stepan and Weyns, Danny},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.3},
  URN =		{urn:nbn:de:0030-drops-71416},
  doi =		{10.4230/DARTS.3.1.3},
  annote =	{Keywords: Unmanned underwater vehicle exemplar; self-adaptive embedded systems; oceanic surveillance}
}
@Article{iftikhar_et_al:DARTS.3.1.4,
  author =	{Iftikhar, M. Usman and Ramachandran, Gowri Sankar and Bollansée, Pablo and Weyns, Danny and Hughes, Danny},
  title =	{{DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact)}},
  pages =	{4:1--4:2},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Iftikhar, M. Usman and Ramachandran, Gowri Sankar and Bollansée, Pablo and Weyns, Danny and Hughes, Danny},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.4},
  URN =		{urn:nbn:de:0030-drops-71425},
  doi =		{10.4230/DARTS.3.1.4},
  annote =	{Keywords: Internet-of-Things; self-adaptation; exemplar}
}
@Article{schmid_et_al:DARTS.3.1.5,
  author =	{Schmid, Sanny and Gerostathopoulos, Ilias and Prehofer, Christian and Bures, Tomas},
  title =	{{Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact)}},
  pages =	{5:1--5:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Schmid, Sanny and Gerostathopoulos, Ilias and Prehofer, Christian and Bures, Tomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.5},
  URN =		{urn:nbn:de:0030-drops-71435},
  doi =		{10.4230/DARTS.3.1.5},
  annote =	{Keywords: self-adaptation; Big Data analytics; model problem, tool, framework}
}
@Article{krijt_et_al:DARTS.3.1.6,
  author =	{Krijt, Filip and Jiracek, Zbynek and Bures, Tomas and Hnetynka, Petr and Gerostathopoulos, Ilias},
  title =	{{Intelligent Ensembles – a Declarative Group Description Language and Java Framework (Artifact)}},
  pages =	{6:1--6:3},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Krijt, Filip and Jiracek, Zbynek and Bures, Tomas and Hnetynka, Petr and Gerostathopoulos, Ilias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.6},
  URN =		{urn:nbn:de:0030-drops-71444},
  doi =		{10.4230/DARTS.3.1.6},
  annote =	{Keywords: Smart Cyber-physical Systems; Adaptive Architecture; Ensemble-based Component System; Group-wise Adaptation; Autonomic Systems}
}
@Article{monteirobarbosa_et_al:DARTS.3.1.7,
  author =	{Monteiro Barbosa, Davi and Gadelha de Moura Lima, Rómulo and Maia, Paulo Henrique Mendes and Junior, Evilásio Costa},
  title =	{{Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)}},
  pages =	{7:1--7:5},
  journal =	{Dagstuhl Artifacts Series},
  ISSN =	{2509-8195},
  year =	{2017},
  volume =	{3},
  number =	{1},
  editor =	{Monteiro Barbosa, Davi and Gadelha de Moura Lima, Rómulo and Maia, Paulo Henrique Mendes and Junior, Evilásio Costa},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.1.7},
  URN =		{urn:nbn:de:0030-drops-71454},
  doi =		{10.4230/DARTS.3.1.7},
  annote =	{Keywords: Self-adaptive systems; Runtime models; Runtime verification; Tool; Framework}
}