Ferruccio Damiani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
73
Venues
26
Active years
1996–2026
Best venue rank
A*
Where they publish
- BSPLC13 papers
- CCoordination11 papers
- CISoLA10 papers
- AECOOP5 papers
- BIFM5 papers
- CICSoft4 papers
- MulticonferenceSAC3 papers
- CFORTE2 papers
- BGPCE2 papers
- BSAS2 papers
- BFM1 paper
- CDASC1 paper
- AISSTA1 paper
- A*ICSE1 paper
- CICTAC1 paper
- BECSA1 paper
- ARTSS1 paper
- BFASE1 paper
- CTAP1 paper
- BSEFM1 paper
- BEuroPar1 paper
- CPDP1 paper
- A*POPL1 paper
- CPPDP1 paper
- BFOSSACS1 paper
- A*ICALP1 paper
Papers
73 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Aggregate Indoor Localisation. | Giorgio Audrito, Leonardo Bertolino, Ferruccio Damiani, Gianluca Torta |
| 2026 | FM | Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach. | Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta |
| 2025 | ECOOP | Declarative Dynamic Object Reclassification. | Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen |
| 2025 | SPLC | Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2025 | SPLC | Analysing Self-Adaptive Systems as Software Product Lines. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | Coordination | An Enhanced Exchange Operator for XC. | Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta |
| 2024 | ISoLA | Towards Real-Time Aggregate Computing. | Giorgio Audrito, Ferruccio Damiani, Gianluca Torta |
| 2024 | SPLC | Product lines of dataflows. | Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani |
| 2023 | Coordination | Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli |
| 2023 | IFM | Formal Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | SPLC | Deltas for Functional Programs with Algebraic Data Types. | Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2022 | DASC | 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 |
| 2022 | ECOOP | Functional Programming for Distributed Systems with XC. | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
| 2022 | ISoLA | Bringing Aggregate Programming Towards the Cloud. | Giorgio Audrito, Ferruccio Damiani, Gianluca Torta |
| 2021 | ISSTA | 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 |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | 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 |
| 2021 | SPLC | Variability modules for Java-like languages. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2020 | Coordination | Resilient Distributed Collection Through Information Speed Thresholds. | Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli |
| 2020 | ICSE | Lazy product discovery in huge configuration spaces. | Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro |
| 2020 | ICTAC | On Two Characterizations of Feature Models. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | ISoLA | FScaFi : A Core Calculus for Collective Adaptive Systems Programming. | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani |
| 2020 | ISoLA | On Slicing Software Product Line Signatures. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | ISoLA | A Formal Model of the Kubernetes Container Framework. | Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani |
| 2019 | Coordination | The share Operator for Field-Based Coordination. | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli |
| 2019 | Coordination | Aggregate Processes in Field Calculus. | Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani |
| 2019 | ECSA | Big data from the cloud to the edge: the aggregate computing solution. | Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns |
| 2019 | FORTE | On a Higher-Order Calculus of Computational Fields. | Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal |
| 2019 | IFM | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | IFM | Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. | Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
| 2019 | SPLC | Static analysis of featured transition systems. | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini |
| 2018 | Coordination | Space-Time Universality of Field Calculus. | Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli |
| 2018 | Coordination | From Field-Based Coordination to Aggregate Computing. | Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini |
| 2018 | RTSS | Distributed Real-Time Shortest-Paths Computations with the Field Calculus. | Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini |
| 2018 | SPLC | Interoperability of software product line variants. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | Coordination | Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. | Giorgio Audrito, Ferruccio Damiani, Mirko Viroli |
| 2017 | FASE | A Unified and Formal Programming Model for Deltas and Traits. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | IFM | An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. | Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer |
| 2017 | TAP | Abstraction Refinement for the Analysis of Software Product Lines. | Ferruccio Damiani, Reiner Hhnle, Michael Lienhardt |
| 2016 | IFM | On Type Checking Delta-Oriented Product Lines. | Ferruccio Damiani, Michael Lienhardt |
| 2016 | ISoLA | A Toolchain for Delta-Oriented Modeling of Software Product Lines. | Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vtor Rodrigues, Sven Schuster |
| 2016 | ISoLA | Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. | Ferruccio Damiani, Michael Lienhardt |
| 2016 | ISoLA | Introduction to the Track on Variability Modeling for Scalable Software Evolution. | Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu |
| 2015 | FORTE | Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. | Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal |
| 2015 | SEFM | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2014 | Coordination | A Calculus of Self-stabilising Computational Fields. | Mirko Viroli, Ferruccio Damiani |
| 2014 | ISoLA | Delta-Trait Programming of Software Product Lines. | Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann |
| 2014 | SPLC | Delta-oriented multi software product lines. | Ferruccio Damiani, Ina Schaefer, Tim Winkelmann |
| 2012 | GPCE | A formal foundation for dynamic delta-oriented software product lines. | Ferruccio Damiani, Luca Padovani, Ina Schaefer |
| 2012 | ISoLA | Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. | Ferruccio Damiani, Ina Schaefer |
| 2012 | SAC | A type system for checking specialization of packages in object-oriented programming. | Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch |
| 2012 | SPLC | A transformational proof system for delta-oriented programming. | Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu |
| 2011 | ECOOP | Verifying traits: a proof system for fine-grained reuse. | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
| 2011 | EuroPar | 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 |
| 2011 | PDP | On Designing Multicore-Aware Simulators for Biological Systems. | Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina |
| 2011 | SPLC | Dynamic delta-oriented programming. | Ferruccio Damiani, Ina Schaefer |
| 2010 | Coordination | A Calculus for Boxes and Traits in a Java-Like Setting. | Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schfer |
| 2010 | GPCE | Pure delta-oriented programming. | Ina Schaefer, Ferruccio Damiani |
| 2010 | SAC | Implementing software product lines using traits. | Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer |
| 2010 | SPLC | Delta-Oriented Programming of Software Product Lines. | Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella |
| 2009 | ECOOP | A mechanism for flexible dynamic trait replacement. | Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani |
| 2009 | ICSoft | FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| 2009 | ICSoft | A Calculus of Agents and Artifacts. | Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli |
| 2008 | SAS | On Polymorphic Recursion, Type Systems, and Abstract Interpretation. | Marco Comini, Ferruccio Damiani, Samuel Vrech |
| 2006 | ICSoft | On state classes and their dynamic semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |
| 2006 | ICSoft | On State Classes and Their Dynamic Semantics. | Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola |
| 2005 | POPL | Polymorphic bytecode: compositional compilation for Java-like languages. | Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca |
| 2004 | SAC | Re-classification and multi-threading: | Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2003 | PPDP | Rank 2 intersection types for modules. | Ferruccio Damiani |
| 2001 | ECOOP | Fickle : Dynamic Object Re-classification. | Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
| 2000 | FOSSACS | Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. | Ferruccio Damiani |
| 2000 | ICALP | Conjunctive Types and Useless-code Elimination. | Ferruccio Damiani |
| 1996 | SAS | Refinement Types for Program Analysis. | Mario Coppo, Ferruccio Damiani, Paola Giannini |