1 citations · 1 across the 1 of their papers we have counts for
4 papers
On Distributed Runtime Verification by Aggregate Computing
Giorgio Audrito, Ferruccio Damiani, Volker Stolz +1
Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specificat…
Aggregate Graph Statistics
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Collecting statistic from graph-based data is an increasingly studied topic in the data mining community. We argue that these statistics have great value as well in dynamic IoT con…
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation
Mirko Viroli, Giorgio Audrito, Jacob Beal +2
Collective adaptive systems are an emerging class of networked computational systems, particularly suited in application domains such as smart cities, complex sensor networks, and…
Resiliency with Aggregate Computing: State of the Art and Roadmap
Mirko Viroli, Jacob Beal
One of the difficulties in developing collective adaptive systems is the challenge of simultaneously engineering both the desired resilient behaviour of the collective and the deta…