Volume 3, Issue 1, January 2013

Symbolic Methods in Testing (Dagstuhl Seminar 13021) Thierry Jéron, Margus Veanes, and Burkhart Wolff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022) Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

Computational Counting (Dagstuhl Seminar 13031) Peter Bürgisser, Leslie Ann Goldberg, Mark Jerrum, and Pascal Koiran . . . . . . . . . .

47

Civilian Crisis Response Models (Dagstuhl Seminar 13041) Bernhard Katzy and Ulrike Lechner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

67

Epidemic Algorithms and Processes: From Theory to Applications (Dagstuhl Seminar 13042) Benjamin Doerr, Robert Elsässer, and Pierre Fraigniaud . . . . . . . . . . . . . . . . . . . . . . . . . 94 Software Certification: Methods and Tools (Dagstuhl Seminar 13051) Darren Cofer, John Hatcliff, Michaela Huhn, and Mark Lawford . . . . . . . . . . . . . . . . . 111 Multicore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052) Andreas Herkersdorf and Michael Paulitsch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149

D a g s t u h l R e p or t s , Vo l . 3 , I s s u e 1

ISSN 2192-5283

ISSN 2192-5283 Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at http://www.dagstuhl.de/dagrep Publication date June, 2013

Aims and Scope The periodical Dagstuhl Reports documents the program and the results of Dagstuhl Seminars and Dagstuhl Perspectives Workshops. In principal, for each Dagstuhl Seminar or Dagstuhl Perspectives Workshop a report is published that contains the following: an executive summary of the seminar program and the fundamental results,

Bibliographic information published by the Deutsche an overview of the talks given during the seminar Nationalbibliothek (summarized as talk abstracts), and The Deutsche Nationalbibliothek lists this publicasummaries from working groups (if applicable). tion in the Deutsche Nationalbibliografie; detailed This basic framework can be extended by suitable bibliographic data are available in the Internet at contributions that are related to the program of the http://dnb.d-nb.de. seminar, e.g. summaries from panel discussions or open problem sessions. License This work is licensed under a Creative Commons Attribution 3.0 Unported license: CC-BY. In brief, this license authorizes each Editorial Board Susanne Albers and everybody to share (to copy, distribute and transmit) the work under the followBernd Becker ing conditions, without impairing or restricting the Karsten Berns authors’ moral rights: Stephan Diehl Attribution: The work must be attributed to its authors. Hannes Hartenstein The copyright is retained by the corresponding authors.

Stephan Merz Bernhard Mitschang Bernhard Nebel Han La Poutré Bernt Schiele Nicole Schweikardt Raimund Seidel Michael Waidner Reinhard Wilhelm (Editor-in-Chief )

Editorial Office Marc Herbstritt (Managing Editor) Jutka Gasiorowski (Editorial Assistance) Thomas Schillo (Technical Assistance) Contact Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dagstuhl Reports, Editorial Office Oktavie-Allee, 66687 Wadern, Germany [email protected] Digital Object Identifier: 10.4230/DagRep.3.1.i

www.dagstuhl.de/dagrep