@Article{DagRep.3.1,
  title =	{{Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1},
  URN =		{urn:nbn:de:0030-drops-40770},
  doi =		{10.4230/DagRep.3.1},
  annote =	{Keywords: Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue}
}
@Article{DagRep.3.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 3, Issue 1, 2013}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.i},
  URN =		{urn:nbn:de:0030-drops-40763},
  doi =		{10.4230/DagRep.3.1.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 3, Issue 1, 2013}
}
@Article{jeron_et_al:DagRep.3.1.1,
  author =	{J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart},
  title =	{{Symbolic Methods in Testing (Dagstuhl Seminar 13021)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{J\'{e}ron, Thierry and Veanes, Margus and Wolff, Burkhart},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.1},
  URN =		{urn:nbn:de:0030-drops-40060},
  doi =		{10.4230/DagRep.3.1.1},
  annote =	{Keywords: Automated Deduction, White-box testing, Black-box Testing, Fuzz-Testing, Unit-Testing,Theorem prover-based Testing}
}
@Article{heisel_et_al:DagRep.3.1.30,
  author =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  title =	{{Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)}},
  pages =	{30--46},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.30},
  URN =		{urn:nbn:de:0030-drops-40072},
  doi =		{10.4230/DagRep.3.1.30},
  annote =	{Keywords: Resilience, modelling, verification, evaluation, fault tolerance, evolution}
}
@Article{burgisser_et_al:DagRep.3.1.47,
  author =	{B\"{u}rgisser, Peter and Goldberg, Leslie Ann and Jerrum, Mark and Koiran, Pascal},
  title =	{{Computational Counting (Dagstuhl Seminar 13031)}},
  pages =	{47--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{B\"{u}rgisser, Peter and Goldberg, Leslie Ann and Jerrum, Mark and Koiran, Pascal},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.47},
  URN =		{urn:nbn:de:0030-drops-40087},
  doi =		{10.4230/DagRep.3.1.47},
  annote =	{Keywords: Computational complexity, counting problems, graph polynomials, holographic algorithms, statistical physics, constraint satisfaction}
}
@Article{katzy_et_al:DagRep.3.1.67,
  author =	{Katzy, Bernhard and Lechner, Ulrike},
  title =	{{Civilian Crisis Response Models (Dagstuhl Seminar 13041)}},
  pages =	{67--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Katzy, Bernhard and Lechner, Ulrike},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.67},
  URN =		{urn:nbn:de:0030-drops-40098},
  doi =		{10.4230/DagRep.3.1.67},
  annote =	{Keywords: Crisis Response, Humanitarian Aid}
}
@Article{doerr_et_al:DagRep.3.1.94,
  author =	{Doerr, Benjamin and Els\"{a}sser, Robert and Fraigniaud, Pierre},
  title =	{{Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042)}},
  pages =	{94--110},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Doerr, Benjamin and Els\"{a}sser, Robert and Fraigniaud, Pierre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.94},
  URN =		{urn:nbn:de:0030-drops-40104},
  doi =		{10.4230/DagRep.3.1.94},
  annote =	{Keywords: Message dissemination, Epidemic spreading, Dynamic spreading processes}
}
@Article{cofer_et_al:DagRep.3.1.111,
  author =	{Cofer, Darren and Hatcliff, John and Huhn, Michaela and Lawford, Mark},
  title =	{{Software Certification: Methods and Tools (Dagstuhl Seminar 13051)}},
  pages =	{111--148},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Cofer, Darren and Hatcliff, John and Huhn, Michaela and Lawford, Mark},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.111},
  URN =		{urn:nbn:de:0030-drops-40119},
  doi =		{10.4230/DagRep.3.1.111},
  annote =	{Keywords: dependable systems,safety security, certification, formal methods, model-driven development, validation \& verification, tools}
}
@Article{herkersdorf_et_al:DagRep.3.1.149,
  author =	{Herkersdorf, Andreas and Paulitsch, Michael},
  title =	{{Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)}},
  pages =	{149--182},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Herkersdorf, Andreas and Paulitsch, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.149},
  URN =		{urn:nbn:de:0030-drops-40155},
  doi =		{10.4230/DagRep.3.1.149},
  annote =	{Keywords: Multicore, hardware, software, platforms, embedded systems, security, real-time, safety, cyber physical systems}
}