6 citations · 7 across the 3 of their papers we have counts for
5 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…
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…
Lazy Product Discovery in Huge Configuration Spaces
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen +1
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a val…
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…
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
Ferruccio Damiani, Michael Lienhardt
Delta-oriented programming (DOP) is a flexible transformational approach to implement software product lines. In delta-oriented product lines, variants are generated by applying op…