A Decidable Intersection Type System based on Relevance. - Ferruccio Damiani; Paola Giannini (TACS, 1994)

Refinement Types for Program Analysis. - Mario Coppo; Ferruccio Damiani; Paola Giannini (SAS, 1996)

Detecting and Removing Dead-Code using Rank 2 Intersection. - Ferruccio Damiani; Frédéric Prost (TYPES, 1996)

On Strictness and Totality. - Mario Coppo; Ferruccio Damiani; Paola Giannini (TACS, 1997)

An Inference Algorithm for Strictness. - Ferruccio Damiani; Paola Giannini (TLCA, 1997)

Useless-Code Detection and Elimination for PCF with Algebraic Data types. - Ferruccio Damiani (TLCA, 1999)

A filter model for mobile processes. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (Math. Struct. Comput. Sci., 1999)

Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. - Ferruccio Damiani (FoSSaCS, 2000)

Conjunctive Types and Useless-code Elimination. - Ferruccio Damiani (ICALP Satellite Workshops, 2000)

Type-Based Useless-Code Elimination for Functional Programs. - Stefano Berardi; Mario Coppo; Ferruccio Damiani; Paola Giannini (SAIG, 2000)

Automatic useless-code elimination for HOT functional programs. - Ferruccio Damiani; Paola Giannini (J. Funct. Program., 2000)

Fickle : Dynamic Object Re-classification. - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ECOOP, 2001)

An Effective Translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ICTCS, 2001)

A type preserving translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (TOSCA, 2001)

A Calculus for "Environment-Aware" Computation. - Viviana Bono; Ferruccio Damiani; Paola Giannini (F-WAN@ICALP, 2002)

Strictness, totality, and non-standard-type inference. - Mario Coppo; Ferruccio Damiani; Paola Giannini (Theor. Comput. Sci., 2002)

More dynamic object reclassification: Fickle|| - Sophia Drossopoulou; Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (ACM Trans. Program. Lang. Syst., 2002)

Refined Effects for Unanticipated Object Re-classification: Fickle3. - Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini (ICTCS, 2003)

Rank 2 intersection types for modules. - Ferruccio Damiani (PPDP, 2003)

Alias types for "environment-aware" computations. - Ferruccio Damiani; Paola Giannini (WOOD, 2003)

A Conjunctive Type System for Useless-Code Elimination. - Ferruccio Damiani (Math. Struct. Comput. Sci., 2003)

Rank 2 intersection types for local definitions and conditional expressions. - Ferruccio Damiani (ACM Trans. Program. Lang. Syst., 2003)

Re-classification and multi-threading: FickleMT. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (SAC, 2004)

Preface. - Mario Coppo; Ferruccio Damiani (ITRS, 2004)

On Re-classification and Multi-threading. - Ferruccio Damiani; Mariangiola Dezani-Ciancaglini; Paola Giannini (J. Object Technol., 2004)

Polymorphic bytecode: compositional compilation for Java-like languages. - Davide Ancona; Ferruccio Damiani; Sophia Drossopoulou; Elena Zucca (POPL, 2005)

Rank-2 Intersection and Polymorphic Recursion. - Ferruccio Damiani (TLCA, 2005)

On State Classes and Their Dynamic Semantics. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Emanuele Cazzola (ICSOFT (Selected Papers), 2006)

Rank 2 Intersection for Recursive Definitions. - Ferruccio Damiani (Fundam. Informaticae, 2007)

A provenly correct translation of Fickle into Java. - Davide Ancona; Christopher Anderson; Ferruccio Damiani; Sophia Drossopoulou; Paola Giannini; Elena Zucca (ACM Trans. Program. Lang. Syst., 2007)

On Traits and Types in a Java-like Setting. - Viviana Bono; Ferruccio Damiani; Elena Giachino (IFIP TCS, 2008)

On Polymorphic Recursion, Type Systems, and Abstract Interpretation. - Marco Comini; Ferruccio Damiani; Samuel Vrech (SAS, 2008)

A type safe state abstraction for coordination in Java -like languages. - Ferruccio Damiani; Elena Giachino; Paola Giannini; Sophia Drossopoulou (Acta Informatica, 2008)

Alias Types and Effects for "Environment-aware" Computations. - Ferruccio Damiani; Elena Giachino; Paola Giannini (Fundam. Informaticae, 2008)

A mechanism for flexible dynamic trait replacement. - Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani (FTfJP@ECOOP, 2009)

FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (ICSOFT (1), 2009)

A Calculus of Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (ICSOFT (Selected Papers), 2009)

Modelling an Ammonium Transporter with SCLS. - Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina (COMPMOD, 2009)

A Calculus for Boxes and Traits in a Java-Like Setting. - Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schäfer 002 (COORDINATION, 2010)

Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? - Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani (FoVeOOS, 2010)

Pure delta-oriented programming. - Ina Schaefer; Ferruccio Damiani (FOSD, 2010)

A prototypical Java-like language with records and traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (PPPJ, 2010)

Implementing software product lines using traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (SAC, 2010)

Delta-Oriented Programming of Software Product Lines. - Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella (SPLC, 2010)

Stochastic Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Angelo Troina (QAPL, 2010)

Hybrid Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (MeCBIC, 2010)

Compositional type-checking for delta-oriented programming. - Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani (AOSD, 2011)

Verifying traits: a proof system for fine-grained reuse. - Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer (FTfJP@ECOOP, 2011)

On Parallelizing On-Line Statistics for Stochastic Biological Simulations. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina (Euro-Par Workshops (2), 2011)

On Designing Multicore-Aware Simulators for Biological Systems. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina (PDP, 2011)

Dynamic delta-oriented programming. - Ferruccio Damiani; Ina Schaefer (SPLC Workshops, 2011)

Type Inference for Bimorphic Recursion - Makoto Tatsuta; Ferruccio Damiani (GandALF, 2011)

A Spatial Calculus of Wrapped Compartments - Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2011)

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments - Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Angelo Troina (CompMod, 2011)

Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Mike Guether; Angelo Troina (Trans. Comp. Sys. Biology, 2011)

A formal foundation for dynamic delta-oriented software product lines. - Ferruccio Damiani; Luca Padovani; Ina Schaefer (GPCE, 2012)

Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. - Ferruccio Damiani; Ina Schaefer (ISoLA (1), 2012)

A type system for checking specialization of packages in object-oriented programming. - Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch (SAC, 2012)

A transformational proof system for delta-oriented programming. - Ferruccio Damiani; Olaf Owe; Johan Dovland; Ina Schaefer; Einar Broch Johnsen; Ingrid Chieh Yu (SPLC (2), 2012)

Standard Type Soundness for Agents and Artifacts. - Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli (Sci. Ann. Comput. Sci., 2012)

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. - Eva Sciacca; Salvatore Spinella; Cristina Calcagno; Ferruccio Damiani; Mario Coppo (CS2Bio, 2012)

Simulation techniques for the calculus of wrapped compartments. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (Theor. Comput. Sci., 2012)

A Calculus of Computational Fields. - Mirko Viroli; Ferruccio Damiani; Jacob Beal (ESOCC Workshops, 2013)

Pure trait-based programming on the Java platform. - Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2013)

Refinement-based testing of delta-oriented product lines. - Ferruccio Damiani; Christoph Gladisch; Shmuel S. Tyszberowicz (PPPJ, 2013)

Compositional type checking of delta-oriented software product lines. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (Acta Informatica, 2013)

On flexible dynamic trait replacement for Java-like languages. - Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani (Sci. Comput. Program., 2013)

Combining traits with boxes and ownership types in a Java-like setting. - Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer 002 (Sci. Comput. Program., 2013)

TraitRecordJ: A programming language with traits and records. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (Sci. Comput. Program., 2013)

A Calculus of Self-stabilising Computational Fields. - Mirko Viroli; Ferruccio Damiani (COORDINATION, 2014)

Delta-Trait Programming of Software Product Lines. - Ferruccio Damiani; Ina Schaefer; Sven Schuster; Tim Winkelmann (ISoLA (1), 2014)

Generic traits for the Java platform. - Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2014)

DeltaJ 1.5: delta-oriented programming for Java 1.5. - Jonathan Koscielny; Sönke Holthusen; Ina Schaefer; Sandro Schulze; Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2014)

Delta-oriented multi software product lines. - Ferruccio Damiani; Ina Schaefer; Tim Winkelmann (SPLC, 2014)

Verifying traits: an incremental proof system for fine-grained reuse. - Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer (Formal Aspects Comput., 2014)

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. - Ferruccio Damiani; Mirko Viroli; Danilo Pianini; Jacob Beal (FORTE, 2015)

Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. - Mirko Viroli; Jacob Beal; Ferruccio Damiani; Danilo Pianini (SASO, 2015)

From Featured Transition Systems to Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (SEFM, 2015)

Type-based Self-stabilisation for Computational Fields. - Ferruccio Damiani; Mirko Viroli (Log. Methods Comput. Sci., 2015)

Implementing type-safe software product lines using parametric traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (Sci. Comput. Program., 2015)

On Type Checking Delta-Oriented Product Lines. - Ferruccio Damiani; Michael Lienhardt (IFM, 2016)

A Toolchain for Delta-Oriented Modeling of Software Product Lines. - Cristina Chesta; Ferruccio Damiani; Liudmila Dobriakova; Marco Guernieri; Simone Martini 003; Michael Nieke; Vítor Rodrigues; Sven Schuster (ISoLA (2), 2016)

Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. - Ferruccio Damiani; Michael Lienhardt (ISoLA (2), 2016)

Introduction to the Track on Variability Modeling for Scalable Software Evolution. - Ferruccio Damiani; Christoph Seidl 001; Ingrid Chieh Yu (ISoLA (2), 2016)

Run-Time Management of Computation Domains in Field Calculus. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli; Roberto Casadei (FAS*W@SASO/ICCAC, 2016)

Self-Adaptation to Device Distribution Changes. - Jacob Beal; Mirko Viroli; Danilo Pianini; Ferruccio Damiani (SASO, 2016)

Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. - Tim Winkelmann; Jonathan Koscielny; Christoph Seidl 001; Sven Schuster; Ferruccio Damiani; Ina Schaefer (Software Engineering (Workshops), 2016)

Refactoring Delta-Oriented Product Lines to achieve Monotonicity. - Ferruccio Damiani; Michael Lienhardt (FMSPLE, 2016)

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. - Richard Bubel; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu (LNCS Trans. Found. Mastering Chang., 2016)

A type-sound calculus of computational fields. - Ferruccio Damiani; Mirko Viroli; Jacob Beal (Sci. Comput. Program., 2016)

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2017)

HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. - Thomas Brox Røst; Christoph Seidl 001; Ingrid Chieh Yu; Ferruccio Damiani; Einar Broch Johnsen; Cristina Chesta (ESOCC Workshops, 2017)

A Unified and Formal Programming Model for Deltas and Traits. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt (FASE, 2017)

A Formal Model for Multi SPLs. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (FSEN, 2017)

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. - Ferruccio Damiani; Michael Lienhardt; Radu Muschevici; Ina Schaefer (IFM, 2017)

Compositional Blocks for Optimal Self-Healing Gradients. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (SASO, 2017)

Abstraction Refinement for the Analysis of Software Product Lines. - Ferruccio Damiani; Reiner Hähnle; Michael Lienhardt (TAP@STAF, 2017)

Aggregate Graph Statistics. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (ALP4IoT@iFM, 2017)

Xtraitj: Traits for the Java platform. - Lorenzo Bettini; Ferruccio Damiani (J. Syst. Softw., 2017)

A novel model-based testing approach for software product lines. - Ferruccio Damiani; David Faitelson; Christoph Gladisch; Shmuel S. Tyszberowicz (Softw. Syst. Model., 2017)

Self-Adaptation to Device Distribution in the Internet of Things. - Jacob Beal; Mirko Viroli; Danilo Pianini; Ferruccio Damiani (ACM Trans. Auton. Adapt. Syst., 2017)

Same Same But Different: Interoperability of Software Product Line Variants. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt (Principled Software Development, 2018)

Space-Time Universality of Field Calculus. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2018)

From Field-Based Coordination to Aggregate Computing. - Mirko Viroli; Jacob Beal; Ferruccio Damiani; Giorgio Audrito; Roberto Casadei; Danilo Pianini (COORDINATION, 2018)

Distributed Real-Time Shortest-Paths Computations with the Field Calculus. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli; Enrico Bini (RTSS, 2018)

Interoperability of software product line variants. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt (SPLC, 2018)

Multi Software Product Lines in the Wild. - Michael Lienhardt; Ferruccio Damiani; Simone Donetti; Luca Paolini (VaMoS, 2018)

A core calculus for dynamic delta-oriented programming. - Ferruccio Damiani; Luca Padovani; Ina Schaefer; Christoph Seidl 001 (Acta Informatica, 2018)

On Distributed Runtime Verification by Aggregate Computing. - Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Mirko Viroli (VORTEX@ECOOP/ISSTA, 2018)

Optimal single-path information propagation in gradient-based algorithms. - Giorgio Audrito; Ferruccio Damiani; Mirko Viroli (Sci. Comput. Program., 2018)

On checking delta-oriented product lines of statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (Sci. Comput. Program., 2018)

Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. - Mirko Viroli; Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini (ACM Trans. Model. Comput. Simul., 2018)

Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. - Giorgio Audrito; Sergio Bergamini; Ferruccio Damiani; Mirko Viroli (AAMAS, 2019)

The share Operator for Field-Based Coordination. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (COORDINATION, 2019)

Aggregate Processes in Field Calculus. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Danilo Pianini; Ferruccio Damiani (COORDINATION, 2019)

Big data from the cloud to the edge: the aggregate computing solution. - Shaukat Ali 001; Ferruccio Damiani; Schahram Dustdar; Marialuisa Sanseverino; Mirko Viroli; Danny Weyns (ECSA (Companion), 2019)

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (IFM, 2019)

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. - Michael Lienhardt; Ferruccio Damiani; Lorenzo Testa; Gianluca Turin (IFM, 2019)

Static analysis of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (SPLC (A), 2019)

From distributed coordination to field calculus and aggregate computing. - Mirko Viroli; Jacob Beal; Ferruccio Damiani; Giorgio Audrito; Roberto Casadei; Danilo Pianini (J. Log. Algebraic Methods Program., 2019)

On the expressiveness of modal transition systems with variability constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (Sci. Comput. Program., 2019)

A formal model for Multi Software Product Lines. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Sci. Comput. Program., 2019)

Certifying delta-oriented programs. - Vítor Rodrigues; Simone Donetti; Ferruccio Damiani (Softw. Syst. Model., 2019)

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Int. J. Softw. Tools Technol. Transf., 2019)

A Higher-Order Calculus of Computational Fields. - Giorgio Audrito; Mirko Viroli; Ferruccio Damiani; Danilo Pianini; Jacob Beal (ACM Trans. Comput. Log., 2019)

Resilient Distributed Collection Through Information Speed Thresholds. - Giorgio Audrito; Sergio Bergamini; Ferruccio Damiani; Mirko Viroli (COORDINATION, 2020)

Lazy product discovery in huge configuration spaces. - Michael Lienhardt; Ferruccio Damiani; Einar Broch Johnsen; Jacopo Mauro (ICSE, 2020)

On Two Characterizations of Feature Models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ICTAC, 2020)

FScaFi : A Core Calculus for Collective Adaptive Systems Programming. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Ferruccio Damiani (ISoLA (2), 2020)

On Slicing Software Product Line Signatures. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ISoLA (1), 2020)

A Formal Model of the Kubernetes Container Framework. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa; Ferruccio Damiani (ISoLA (1), 2020)

Computation Against a Neighbour. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (CoRR, 2020)

Field-based Coordination with the Share Operator. - Giorgio Audrito; Jacob Beal; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (Log. Methods Comput. Sci., 2020)

RM for users' safety and security in the built environment. - Giorgio Audrito; Ferruccio Damiani; Giuseppe Martino Di Giuda; Silvia Meschini; Laura Pellegrini; Elena Seghezzi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (VORTEX@ISSTA, 2021)

Static analysis and family-based model checking with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michael Lienhardt (SPLC (A), 2021)

Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)

Variability modules for Java-like languages. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2021)

Optimal resilient distributed data collection in mobile edge environments. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Danilo Pianini; Mirko Viroli (Comput. Electr. Eng., 2021)

Engineering collective intelligence at the edge with aggregate processes. - Roberto Casadei; Mirko Viroli; Giorgio Audrito; Danilo Pianini; Ferruccio Damiani (Eng. Appl. Artif. Intell., 2021)

Adaptive distributed monitors of spatial properties for cyber-physical systems. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Volker Stolz; Mirko Viroli (J. Syst. Softw., 2021)

Aggregate centrality measures for IoT-based coordination. - Giorgio Audrito; Danilo Pianini; Ferruccio Damiani; Mirko Viroli (Sci. Comput. Program., 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Towards a Modular and Variability-Aware Aerodynamic Simulator. - Ferruccio Damiani; Michael Lienhardt; Bruno Maugars; Bertrand Michel (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions. - Roberto Casadei; Danilo Pianini; Gianluca Aguzzi; Giorgio Audrito; Gianluca Torta; Marco Ottina; Ferruccio Damiani; Mirko Viroli (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Functional Programming for Distributed Systems with XC. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (ECOOP, 2022)

Bringing Aggregate Programming Towards the Cloud. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (3), 2022)

Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. - Marco Aldinucci; Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Pablo Ramón; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2022)

Functional Programming for Distributed Systems with XC (Artifact). - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (Dagstuhl Artifacts Ser., 2022)

Programming the Interaction with Quantum Coprocessors. - Ferruccio Damiani; Luca Paolini; Luca Roversi (ERCIM News, 2022)

Efficient static analysis and verification of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (Empir. Softw. Eng., 2022)

Distributed runtime verification by past-CTL and the field calculus. - Giorgio Audrito; Ferruccio Damiani; Volker Stolz; Gianluca Torta; Mirko Viroli (J. Syst. Softw., 2022)

Aggregate processes as distributed adaptive services for the Industrial Internet of Things. - Lorenzo Testa; Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (Pervasive Mob. Comput., 2022)

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini; Giordano Scarso (Sci. Comput. Program., 2022)

On logical and extensional characterizations of attributed feature models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Theor. Comput. Sci., 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Aggregate Programming for Customized Building Management and Users Preference Implementation. - Giorgio Audrito; Ferruccio Damiani; Stefano Rinaldi; Lavinia Chiara Tagliabue; Lorenzo Testa; Gianluca Torta (IoT Edge Solutions for Cognitive Buildings, 2023)

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (COORDINATION, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (iFM, 2023)

Deltas for Functional Programs with Algebraic Data Types. - Ferruccio Damiani; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2023)

On Stream Runtime Verification and Aggregate Programming. - Ferruccio Damiani; Gianluca Torta (VORTEX@ISSTA, 2023)

Variability modules. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (J. Syst. Softw., 2023)

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Mirko Viroli (Log. Methods Comput. Sci., 2023)

A field-based computing approach to sensing-driven clustering in robot swarms. - Gianluca Aguzzi; Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (Swarm Intell., 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Predicting resource consumption of Kubernetes container systems using resource models. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (J. Syst. Softw., 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Actor-Based Designs for Distributed Self-organisation Programming. - Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (Active Object Languages: Current Research Trends, 2024)

An Enhanced Exchange Operator for XC. - Giorgio Audrito; Daniele Bortoluzzi 002; Ferruccio Damiani; Giordano Scarso; Gianluca Torta (COORDINATION, 2024)

Towards Real-Time Aggregate Computing. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (ISoLA (2), 2024)

Real-Time Guarantees for SLCS Monitors in XC. - Giorgio Audrito; Ferruccio Damiani; Gianluca Torta (VORTEX@ISSTA, 2024)

Programming Distributed Collective Processes in the eXchange Calculus. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Gianluca Torta; Mirko Viroli (CoRR, 2024)

Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. - Ferruccio Damiani; David M. Eyers; Anna Philippou (Sci. Comput. Program., 2024)

The eXchange Calculus (XC): A functional programming language design for distributed collective systems. - Giorgio Audrito; Roberto Casadei; Ferruccio Damiani; Guido Salvaneschi; Mirko Viroli (J. Syst. Softw., 2024)

Product lines of dataflows. - Michael Lienhardt; Maurice H. ter Beek; Ferruccio Damiani (J. Syst. Softw., 2024)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Declarative Dynamic Object Reclassification. - Riccardo Sieve; Eduard Kamburjan; Ferruccio Damiani; Einar Broch Johnsen (ECOOP, 2025)

Modeling Variability in Complex Software Systems. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Software Engineering, 2025)

Declarative Dynamic Object Reclassification (Artifact). - Riccardo Sieve; Eduard Kamburjan; Ferruccio Damiani; Einar Broch Johnsen (Dagstuhl Artifacts Ser., 2025)

Analysing Self-Adaptive Systems as Software Product Lines. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (J. Syst. Softw., 2025)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2025)

Software Engineering for Collective Cyber-Physical Ecosystems. - Roberto Casadei; Gianluca Aguzzi; Giorgio Audrito; Ferruccio Damiani; Danilo Pianini; Giordano Scarso; Gianluca Torta; Mirko Viroli (ACM Trans. Softw. Eng. Methodol., 2025)