Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems

Applications in organic computing

Dieser technische Bericht beinhaltet eine Sammlung von Anwendungen und Case Studies der Projekte des Schwerpunktprogramms "Organic Computing" der DFG. Jedes Projekt hat hierzu ein einheitliches Formular zur Anwendungsbeschreibung ausgefüllt. Diese werden in diesem Report präsentiert.This technical report provides a summary of the applications and case studies used in the priority program "Organic Computing" of the German Research Foundation (DFG SPP 1183). All projects were asked to fill out a consistent form with several points to the respective application. These are presented in this report