@Article{DagRep.5.4,
  title =	{{Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4},
  URN =		{urn:nbn:de:0030-drops-56699},
  doi =		{10.4230/DagRep.5.4},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue}
}
@Article{DagRep.5.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.i},
  URN =		{urn:nbn:de:0030-drops-56688},
  doi =		{10.4230/DagRep.5.4.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015}
}
@Article{hutchison_et_al:DagRep.5.4.1,
  author =	{Hutchison, David and Nahrstedt, Klara and Sch\"{o}ller, Marcus and Spiecker gen. D\"{o}hmann, Indra and Tauber, Markus},
  title =	{{Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151)}},
  pages =	{1--17},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Hutchison, David and Nahrstedt, Klara and Sch\"{o}ller, Marcus and Spiecker gen. D\"{o}hmann, Indra and Tauber, Markus},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.1},
  URN =		{urn:nbn:de:0030-drops-52725},
  doi =		{10.4230/DagRep.5.4.1},
  annote =	{Keywords: Resilience, security, privacy, legal aspects, networked systems, organisations, society}
}
@Article{darrell_et_al:DagRep.5.4.18,
  author =	{Darrell, Trevor and Kloft, Marius and Pontil, Massimiliano and R\"{a}tsch, Gunnar and Rodner, Erik},
  title =	{{Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152)}},
  pages =	{18--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Darrell, Trevor and Kloft, Marius and Pontil, Massimiliano and R\"{a}tsch, Gunnar and Rodner, Erik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.18},
  URN =		{urn:nbn:de:0030-drops-53497},
  doi =		{10.4230/DagRep.5.4.18},
  annote =	{Keywords: machine learning, computer vision, computational biology, transfer learning, domain adaptation}
}
@Article{lengauer_et_al:DagRep.5.4.56,
  author =	{Lengauer, Christian and Bolten, Matthias and Falgout, Robert D. and Schenk, Olaf},
  title =	{{Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161)}},
  pages =	{56--75},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Lengauer, Christian and Bolten, Matthias and Falgout, Robert D. and Schenk, Olaf},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.56},
  URN =		{urn:nbn:de:0030-drops-53503},
  doi =		{10.4230/DagRep.5.4.56},
  annote =	{Keywords: Code generation, domain-specific languages, exascale computing, high-performance computing, massive parallelism, multigrid, partial differential equations, program optimization, program parallelization, stencil codes}
}
@Article{clelandhuang_et_al:DagRep.5.4.76,
  author =	{Cleland-Huang, Jane and Rayadurgam, Sanjai and M\"{a}der, Patrick and Sch\"{a}fer, Wilhelm},
  title =	{{Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)}},
  pages =	{76--97},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Cleland-Huang, Jane and Rayadurgam, Sanjai and M\"{a}der, Patrick and Sch\"{a}fer, Wilhelm},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.76},
  URN =		{urn:nbn:de:0030-drops-53518},
  doi =		{10.4230/DagRep.5.4.76},
  annote =	{Keywords: safety-critical software development, assurance cases, software and systems traceability}
}
@Article{biere_et_al:DagRep.5.4.98,
  author =	{Biere, Armin and Ganesh, Vijay and Grohe, Martin and Nordstr\"{o}m, Jakob and Williams, Ryan},
  title =	{{Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)}},
  pages =	{98--122},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Biere, Armin and Ganesh, Vijay and Grohe, Martin and Nordstr\"{o}m, Jakob and Williams, Ryan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.98},
  URN =		{urn:nbn:de:0030-drops-53520},
  doi =		{10.4230/DagRep.5.4.98},
  annote =	{Keywords: SAT, Boolean SAT solvers, SAT solving, conflict-driven clause learning, Gr\"{o}bner bases, pseudo-Boolean solvers, proof complexity, computational complexity, parameterized complexity}
}
@Article{barthe_et_al:DagRep.5.4.123,
  author =	{Barthe, Gilles and Gordon, Andrew D. and Katoen, Joost-Pieter and McIver, Annabelle},
  title =	{{Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)}},
  pages =	{123--141},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Barthe, Gilles and Gordon, Andrew D. and Katoen, Joost-Pieter and McIver, Annabelle},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.123},
  URN =		{urn:nbn:de:0030-drops-53536},
  doi =		{10.4230/DagRep.5.4.123},
  annote =	{Keywords: Bayesian networks, differential privacy, machine learning, probabilistic programs, security, semantics, static analysis, verification}
}
@Article{cofer_et_al:DagRep.5.4.142,
  author =	{Cofer, Darren and Klein, Gerwin and Slind, Konrad and Wiels, Virginie},
  title =	{{Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)}},
  pages =	{142--159},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{4},
  editor =	{Cofer, Darren and Klein, Gerwin and Slind, Konrad and Wiels, Virginie},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.142},
  URN =		{urn:nbn:de:0030-drops-53543},
  doi =		{10.4230/DagRep.5.4.142},
  annote =	{Keywords: Dependable systems, Certification, Qualification, Formal methods, Verification tools}
}