FoMaSE Research Project
FoMaSE Research Project
Overview
Project Details
News
People
Publications
Contacts
Light
Dark
Automatic
Previous
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
Gianluca Aguzzi
,
Roberto Casadei
,
Mirko Viroli
Cite
DOI
Software Engineering for Collective Cyber-Physical Ecosystems
Roberto Casadei
,
Gianluca Aguzzi
,
Giorgio Audrito
,
Ferruccio Damiani
,
Danilo Pianini
,
Giordano Scarso
,
Gianluca Torta
,
Mirko Viroli
Cite
DOI
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
Massive deployments of devices across all kinds of environments pose the need for engineering their collaborative, macro-level …
Roberto Casadei
,
Mirko Viroli
Cite
DOI
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach
Nicolas Farabegoli
,
Mirko Viroli
,
Roberto Casadei
Cite
DOI
System-Wide IoT design and programming: Patterns for decentralised collective processes
Roberto Casadei
Cite
DOI
Artificial Collective Intelligence Engineering: A Survey of Concepts and Perspectives
Collectiveness is an important property of many systems—both natural and artificial. By exploiting a large number of individuals, it is …
Roberto Casadei
Cite
DOI
Self-Organisation Programming: A Functional Reactive Macro Approach
Roberto Casadei
,
Francesco Dente
,
Gianluca Aguzzi
,
Danilo Pianini
,
Mirko Viroli
Cite
DOI
Macroprogramming: Concepts, State of the Art, and Opportunities of Macroscopic Behaviour Modelling
Macroprogramming refers to the theory and practice of expressing the macro(scopic) behaviour of a collective system using a single …
Roberto Casadei
Cite
DOI
Region streams: functional macroprogramming for sensor networks
Ryan Newton
,
Matt Welsh
Cite
DOI
URL
Artificial Societies: Multiagent Systems and the Micro-Macro Link in Sociological Theory
R. Keith Sawyer
Cite
DOI
URL
Cite
×