Macroprogramming: Concepts, state of the art, and opportunities of macroscopic behaviour modelling

R Casadei - ACM Computing Surveys, 2023 - dl.acm.org
Macroprogramming refers to the theory and practice of expressing the macro (scopic)
behaviour of a collective system using a single program. Macroprogramming approaches …

[HTML][HTML] From distributed coordination to field calculus and aggregate computing

M Viroli, J Beal, F Damiani, G Audrito, R Casadei… - Journal of Logical and …, 2019 - Elsevier
Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

Artificial collective intelligence engineering: a survey of concepts and perspectives

R Casadei - Artificial Life, 2023 - ieeexplore.ieee.org
Collectiveness is an important property of many systems—both natural and artificial. By
exploiting a large number of individuals, it is often possible to produce effects that go far …

[HTML][HTML] Programming interactions in collective adaptive systems by relying on attribute-based communication

Y Abd Alrahman, R De Nicola, M Loreti - Science of Computer …, 2020 - Elsevier
Collective adaptive systems are new emerging computational systems consisting of a large
number of interacting components and featuring complex behaviour. These systems are …

Rigorous engineering of collective adaptive systems

R De Nicola, S Jähnichen, M Wirsing - International Journal on Software …, 2020 - Springer
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

Comparing perfomance abstractions for collective adaptive systems

M Murgia, R Pinciroli, C Trubiani, E Tuosto - International Journal on …, 2023 - Springer
Non-functional properties of collective adaptive systems (CAS) are of paramount relevance
practically in any application. This paper compares two recently proposed approaches to …

Rigorous engineering of collective adaptive systems

S Jähnichen, M Wirsing - International Journal on Software …, 2020 - search.proquest.com
An adaptive system is able to adapt at runtime to dynamically changing environments and to
new requirements. Adaptive systems can be single adaptive entities or collective ones that …

Design and verification of trusted collective adaptive systems

A Aldini - ACM Transactions on Modeling and Computer …, 2018 - dl.acm.org
Collective adaptive systems (CAS) often adopt cooperative operating strategies to run
distributed decision-making mechanisms. Sometimes, their effectiveness massively relies on …

[HTML][HTML] Multi-agent systems with virtual stigmergy

R De Nicola, L Di Stefano, O Inverso - Science of Computer Programming, 2020 - Elsevier
We introduce a simple language for multi-agent systems that lends itself to intuitive design of
local specifications. Agents operate on (parts of) a decentralized data structure, the …

A framework for analyzing adaptive autonomous aerial vehicles

IA Mason, V Nigam, C Talcott, A Brito - … , Trento, Italy, September 4-5, 2017 …, 2018 - Springer
Unmanned aerial vehicles (UAVs), aka drones, are becoming increasingly popular due to
great advancements in their control mechanisms and price reduction. UAVs are being used …