@Article{DagRep.4.6,
  title =	{{Dagstuhl Reports, Volume 4, Issue 6, June 2014, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{6},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6},
  URN =		{urn:nbn:de:0030-drops-49651},
  doi =		{10.4230/DagRep.4.6},
  annote =	{Keywords: Dagstuhl Reports, Volume 4, Issue 6, June 2014, Complete Issue}
}
@Article{DagRep.4.6.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{6},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.i},
  URN =		{urn:nbn:de:0030-drops-49645},
  doi =		{10.4230/DagRep.4.6.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 6, 2014}
}
@Article{chen_et_al:DagRep.4.6.1,
  author =	{Chen, Min and Hansen, Charles D. and Rheingans, Penny and Scheuermann, Gerik},
  title =	{{Scientific Visualization (Dagstuhl Seminar 14231)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Chen, Min and Hansen, Charles D. and Rheingans, Penny and Scheuermann, Gerik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.1},
  URN =		{urn:nbn:de:0030-drops-46821},
  doi =		{10.4230/DagRep.4.6.1},
  annote =	{Keywords: data visualization, multi-fields, uncertainty, environmental visualization}
}
@Article{rehof_et_al:DagRep.4.6.29,
  author =	{Rehof, Jakob and Vardi, Moshe Y.},
  title =	{{Design and Synthesis from Components (Dagstuhl Seminar 14232)}},
  pages =	{29--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Rehof, Jakob and Vardi, Moshe Y.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.29},
  URN =		{urn:nbn:de:0030-drops-46839},
  doi =		{10.4230/DagRep.4.6.29},
  annote =	{Keywords: Component design, Component-based synthesis}
}
@Article{giacobazzi_et_al:DagRep.4.6.48,
  author =	{Giacobazzi, Roberto and Simon, Axel and Zennou, Sarah},
  title =	{{Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)}},
  pages =	{48--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Giacobazzi, Roberto and Simon, Axel and Zennou, Sarah},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.48},
  URN =		{urn:nbn:de:0030-drops-47627},
  doi =		{10.4230/DagRep.4.6.48},
  annote =	{Keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation}
}
@Article{gall_et_al:DagRep.4.6.64,
  author =	{Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas},
  title =	{{Software Development Analytics (Dagstuhl Seminar 14261)}},
  pages =	{64--83},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Gall, Harald and Menzies, Tim and Williams, Laurie and Zimmermann, Thomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.64},
  URN =		{urn:nbn:de:0030-drops-47638},
  doi =		{10.4230/DagRep.4.6.64},
  annote =	{Keywords: software development, data-driven decision making, analytics, empirical software engineering, mining software repositories, business intelligence, pre}
}
@Article{henglein_et_al:DagRep.4.6.84,
  author =	{Henglein, Fritz and Jhala, Ranjit and Krishnamurthi, Shriram and Thiemann, Peter},
  title =	{{Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl Seminar 14271)}},
  pages =	{84--107},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{6},
  editor =	{Henglein, Fritz and Jhala, Ranjit and Krishnamurthi, Shriram and Thiemann, Peter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.84},
  URN =		{urn:nbn:de:0030-drops-47816},
  doi =		{10.4230/DagRep.4.6.84},
  annote =	{Keywords: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics}
}
@Article{schraefel_et_al:DagRep.4.6.108,
  author =	{schraefel, m.c. and Churchill, Elizabeth F.},
  title =	{{Exploring Interdisciplinary Grand Challenges in ICT Design to Support Proactive Health and Wellbeing (Dagstuhl Perspectives Workshop 14272)}},
  pages =	{108--123},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{6},
  editor =	{schraefel, m.c. and Churchill, Elizabeth F.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.6.108},
  URN =		{urn:nbn:de:0030-drops-48877},
  doi =		{10.4230/DagRep.4.6.108},
  annote =	{Keywords: Proactive Health, Proactive Wellbeing, Wellth, Wellth Creation, Quality of Life, methodology, interactive design, Health, wellness, computer science}
}