arrow
Back
F

Ferruccio Damiani

istituto di scienza e tecnologie dell'informazione alessandro faedo (isti-cnr)

26H-index
230Paper Count
2.9KCitation Count
Published Papers 14
Publication Date
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
err2025-12-01
err0
PREAI
errPassler, Juliane; Beek, Maurice H. Ter; Damiani, Ferruccio; Dubslaff, Clemens; Johnsen, Einar Broch; Tarifa, Silvia Lizeth Tapia
errShare
errSave
Analysing Self-Adaptive Systems as Software Product Lines
err2025-04-01
err0
PREAI
errPassler, Juliane; Beek, Maurice H. ter; Damiani, Ferruccio; Johnsen, Einar Broch; Tarifa, S. Lizeth Tapia
errShare
errSave
An Enhanced Exchange Operator for XC
err2024-06-11
err0
PREAI
errAudrito, Giorgio; Bortoluzzi, Daniele; Damiani, Ferruccio; Scarso, Giordano; Torta, Gianluca
errShare
errSave
The eXchange Calculus (XC): A functional programming language design for distributed collective systems
err2024-04-01
err7
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Salvaneschi, Guido; Viroli, Mirko
errShare
errSave
Product lines of dataflows
err2024-04-01
err2
errOAAI
errLienhardt, Michael; Beek, Maurice H. ter; Damiani, Ferruccio
errShare
errSave
Predicting resource consumption of Kubernetes container systems using resource models
err2023-09-01
err9
errOAAI
errTurin, Gianluca; Borgarelli, Andrea; Donetti, Simone; Damiani, Ferruccio; Johnsen, Einar Broch; Tarifa, S. Lizeth Tapia
errShare
errSave
Variability modules?
err2023-01-01
err3
errOAAI
errDamiani, Ferruccio; Haehnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael; Paolini, Luca
errShare
errSave
Aggregate processes as distributed adaptive services for the Industrial Internet of Things
err2022-09-01
err11
errOAAI
errTesta, Lorenzo; Audrito, Giorgio; Damiani, Ferruccio; Torta, Gianluca
errShare
errSave
Distributed runtime verification by past-CTL and the field calculus
err2022-05-01
err8
errOAAI
errAudrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko
errShare
errSave
Optimal resilient distributed data collection in mobile edge environments
err2021-12-01
err17
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Pianini, Danilo; Viroli, Mirko
errShare
errSave
Efficient static analysis and verification of featured transition systems
err2021-10-23
err15
errOAAI
errter Beek, Maurice H.; Damiani, Ferruccio; Lienhardt, Michael; Mazzanti, Franco; Paolini, Luca
errShare
errSave
Adaptive distributed monitors of spatial properties for cyber-physical systems
err2021-05-01
err21
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko
errShare
errSave
XTRAITJ: Traits for the Java platform
err2017-09-01
err4
errOAAI
errBettini, Lorenzo; Damiani, Ferruccio
errShare
errSave