12 citations · 66 across the 17 of their papers we have counts for
4 papers · 1 filter
Software Engineering for Collective Cyber-Physical Ecosystems
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito +5
Today's distributed and pervasive computing addresses large-scale cyber-physical ecosystems, characterised by dense and large networks of devices capable of computation, communicat…
Predictive Semantics for Past-CTL Runtime Monitors
Giorgio Audrito, Volker Stolz, Gianluca Torta
The distributed monitoring of swarms of devices cooperating to common global goals is becoming increasingly important, as such systems are employed for critical applications, e.g.,…
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani +1
The Industrial Internet of Things (IIoT) promises to bring many benefits, including increased productivity, reduced costs, and increased safety to new generation manufacturing plan…
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…