12 citations · 66 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.DC2019★ 10 cited
Field-based Coordination with the Share Operator
Giorgio Audrito, Jacob Beal, Ferruccio Damiani +2
Field-based coordination has been proposed as a model for coordinating collective adaptive systems, promoting a view of distributed computations as functions manipulating data stru…
cs.SE2019★ 5 cited
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…