@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}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing