FoMaSE Research Project
FoMaSE Research Project
Overview
Project Details
News
People
Publications
Contacts
Light
Dark
Automatic
Paper-Conference
Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing
Angela Cortecchia
,
Davide Domini
,
Giovanni Ciatto
,
Roberto Casadei
,
Danilo Pianini
,
Mirko Viroli
Cite
DOI
A Specification Approach for Distributed Algorithms in Continuous Space-Time
Emerging paradigms such as the Internet of Things (IoT), Cyber-Physical Systems, and Wireless Sensor Networks envision distributed …
Roberto Casadei
,
Mirko Viroli
,
Niccolò Castronuovo
,
Gianluca Aguzzi
Cite
DOI
Macro-Programming Multi-Agent Systems: A Framework for Artificial Collective Intelligence (Blue Sky Ideas Track)
This paper elaborates on the opportunity and idea of multi-agent system (MAS) macro-programming, i.e., programming in terms of …
Roberto Casadei
Cite
DOI
Macro-to-micro behavioural mappings in distributed systems: a characterisation on event structures
Engineering the self-organising behaviour of artificial collective systems, such as robot swarms, is challenging. Effective …
Roberto Casadei
,
Paolo Baldini
,
Niccolò Castronuovo
Cite
Macroscopic Design of Swarms with Collective State Machines
Promoting collective intelligence in artificial collectives, such as robot swarms, is complex and generally addressed with different …
Gianluca Aguzzi
,
Giorgio Audrito
,
Roberto Girau
,
Gianluca Torta
,
Roberto Casadei
Cite
DOI
URL
Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming
Roberto Casadei
,
Martina De Sanctis
,
Gianluca Filippone
,
Sara Pettinari
,
Gian Luca Scoccia
,
Nicolas Troquard
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
Self-Organisation Programming: A Functional Reactive Macro Approach
Roberto Casadei
,
Francesco Dente
,
Gianluca Aguzzi
,
Danilo Pianini
,
Mirko Viroli
Cite
DOI
Region streams: functional macroprogramming for sensor networks
Ryan Newton
,
Matt Welsh
Cite
DOI
URL
Cite
×