Publikationer pr. år
The design of collective adaptive systems, as they occur, for example, in home automation, health care, and many scenarios of mobile communication, raises fundamental challenges: These systems are distributed, with heterogeneous components interacting continuously among each other and with their environments, components may work collaboratively or as adversaries, they have to adapt over time, they are dynamic in the sense that components can come into existence or vanish, and their specication usually involves multi-dimensional quantitative objectives. Available methods (such as model-based verication and quantitative model-checking) only address selected aspects of collective adaptive systems.
|Effektiv start/slut dato||01/04/2013 → 31/03/2016|
- FP7 STREP
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review