FoMaSE Research Project
FoMaSE Research Project
Overview
Project Details
News
People
Publications
Contacts
Light
Dark
Automatic
Mirko Viroli
Latest
Flexible Distributed Particle Filtering for the Internet of Things via Aggregate Computing
A Specification Approach for Distributed Algorithms in Continuous Space-Time
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
Software Engineering for Collective Cyber-Physical Ecosystems
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
Flexible Self-organisation for the Cloud-Edge Continuum: a Macro-programming Approach
Self-Organisation Programming: A Functional Reactive Macro Approach
Cite
×