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

Jane Hillston; Jeremy Pitt; Martin Wirsing; Franco Zambonelli

doi:10.4230/DagRep.4.12.68

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

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	68-113
Number of pages	46
Journal	Dagstuhl Reports
Volume	4
Issue number	12
DOIs	https://doi.org/10.4230/DagRep.4.12.68
Publication status	Published - 2015

Access to Document

10.4230/DagRep.4.12.68

dagrep_v004_i012_p068_s14512Final published version, 4.28 MBLicence: Creative Commons: Attribution (CC-BY)

http://drops.dagstuhl.de/opus/volltexte/2015/5006

Cite this

@article{8f387d3353f841999944a4aeb52049b8,

title = "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)",

abstract = "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.",

author = "Jane Hillston and Jeremy Pitt and Martin Wirsing and Franco Zambonelli",

year = "2015",

doi = "10.4230/DagRep.4.12.68",

language = "English",

volume = "4",

pages = "68--113",

journal = "Dagstuhl Reports",

issn = "2192-5283",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany",

number = "12",

}

TY - JOUR

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

AU - Hillston, Jane

AU - Pitt, Jeremy

AU - Wirsing, Martin

AU - Zambonelli, Franco

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.4230/DagRep.4.12.68

DO - 10.4230/DagRep.4.12.68

M3 - Article

VL - 4

SP - 68

EP - 113

JO - Dagstuhl Reports

JF - Dagstuhl Reports

SN - 2192-5283

IS - 12

ER -

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

Abstract

Access to Document

Fingerprint

Cite this