Ferruccio Damiani

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 96

Top Venues

CoRR

Sci. Comput. Program.

COORDINATION

J. Syst. Softw.

Publications

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
The eXchange Calculus (XC): A functional programming language design for distributed collective systems. J. Syst. Softw. 210 (2024)
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
An Enhanced Exchange Operator for XC. COORDINATION (2024)
Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
Product lines of dataflows. J. Syst. Softw. 210 (2024)
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR (2024)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes in the eXchange Calculus. CoRR (2024)
Ferruccio Damiani, David M. Eyers, Anna Philippou
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. Sci. Comput. Program. 235 (2024)
Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
Product lines of dataflows. SPLC (A) (2024)
Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) (2023)
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
A field-based computing approach to sensing-driven clustering in robot swarms. Swarm Intell. 17 (1) (2023)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules. J. Syst. Softw. 195 (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203 (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR (2023)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. Log. Methods Comput. Sci. 19 (1) (2023)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR (2023)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM (2023)
Ferruccio Damiani, Gianluca Torta
On Stream Runtime Verification and Aggregate Programming. VORTEX@ISSTA (2023)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912 (2022)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC. ECOOP (2022)
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. DASC/PiCom/CBDCom/CyberSciTech (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 (1) (2022)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Ferruccio Damiani, Luca Paolini, Luca Roversi
Programming the Interaction with Quantum Coprocessors. ERCIM News 2022 (128) (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85 (2022)
Marco Aldinucci, Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Pablo Ramón, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. CoRR (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224 (2022)
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR (2022)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) (2022)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187 (2022)
Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel
Towards a Modular and Variability-Aware Aerodynamic Simulator. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203 (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
Static analysis and family-based model checking with VMC. SPLC (A) (2021)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97 (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175 (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96 (Part) (2021)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules for Java-like languages. SPLC (A) (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) (2021)
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
RM for users' safety and security in the built environment. VORTEX@ISSTA (2021)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Two Characterizations of Feature Models. ICTAC (2020)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Slicing Software Product Line Signatures. ISoLA (1) (2020)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16 (4) (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy Product Discovery in Huge Configuration Spaces. CoRR (2020)
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION (2020)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) (2020)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Computation Against a Neighbour. CoRR (2020)
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
Lazy product discovery in huge configuration spaces. ICSE (2020)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
A Formal Model of the Kubernetes Container Framework. ISoLA (1) (2020)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
Field-based Coordination with the Share Operator. CoRR (2019)
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169 (2019)
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
On a Higher-Order Calculus of Computational Fields. FORTE (2019)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
Aggregate Processes in Field Calculus. COORDINATION (2019)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
The share Operator for Field-Based Coordination. COORDINATION (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172 (2019)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Static analysis of featured transition systems. SPLC (A) (2019)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
Big data from the cloud to the edge: the aggregate computing solution. ECSA (Companion) (2019)
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20 (1) (2019)
Vítor Rodrigues, Simone Donetti, Ferruccio Damiani
Certifying delta-oriented programs. Softw. Syst. Model. 18 (5) (2019)
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM (2019)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From distributed coordination to field calculus and aggregate computing. J. Log. Algebraic Methods Program. 109 (2019)
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl
A core calculus for dynamic delta-oriented programming. Acta Informatica 55 (4) (2018)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Interoperability of software product line variants. SPLC (2018)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA (2018)
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
Space-Time Universality of Field Calculus. COORDINATION (2018)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS (2018)
Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
Multi Software Product Lines in the Wild. VaMoS (2018)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development (2018)
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166 (2018)
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166 (2018)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
From Field-Based Coordination to Aggregate Computing. COORDINATION (2018)
Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF (2017)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION (2017)
Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. ESOCC Workshops (2017)
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16 (4) (2017)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate Graph Statistics. ALP4IoT@iFM (2017)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
Compositional Blocks for Optimal Self-Healing Gradients. SASO (2017)
Lorenzo Bettini, Ferruccio Damiani
Xtraitj: Traits for the Java platform. J. Syst. Softw. 131 (2017)
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR (2017)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
A Unified and Formal Programming Model for Deltas and Traits. FASE (2017)
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution in the Internet of Things. ACM Trans. Auton. Adapt. Syst. 12 (3) (2017)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A Formal Model for Multi SPLs. FSEN (2017)
Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM (2017)
Ferruccio Damiani, Michael Lienhardt
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) (2016)
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A Higher-order Calculus of Computational Fields. CoRR (2016)
Ferruccio Damiani, Michael Lienhardt
On Type Checking Delta-Oriented Product Lines. IFM (2016)
Ferruccio Damiani, Michael Lienhardt
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE (2016)
Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) (2016)
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC (2016)
Ferruccio Damiani, Mirko Viroli, Jacob Beal
A type-sound calculus of computational fields. Sci. Comput. Program. 117 (2016)
Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster
A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) (2016)
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Self-Adaptation to Device Distribution Changes. SASO (2016)
Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) (2016)
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1 (2016)
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO (2015)
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE (2015)
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97 (2015)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM (2015)

Ferruccio Damiani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ferruccio Damiani