Ferruccio Damiani

206 papers A* 2A 5B 15C 18Misc 3Journal 78Unranked 76
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Core Calculus for Type-safe Product Lines of C Programs.
CoRR
Ferruccio Damiani, Daisuke Kimura, Luca Paolini, Makoto Tatsuta
2026 B ed.
Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
iFM
Ferruccio Damiani, Marie Farrell
2026 J jnl
Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels.
CoRR
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta, Andrea Basso, Monica Cochi, Lorenzo Gusman, Lorenzo Comba, Paolo Gay, Paola Dal Zovo, Giada Galati, Francesco Gallo, Aljaz Grdadolnik, Massimo Pescarollo, Paola Pisano
2026 J jnl
Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday.
CoRR
Thorsten Altenkirch, Franco Barbanera, Ferruccio Damiani, Ugo de'Liguoro
2025 J jnl
A Configurable Software Model of a Self-Adaptive Robotic System.
Sci. Comput. Program.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025 — conf
Aggregate Runtime Verification for Emergency Healthcare in Crowded Events.
ICHMS
Gianluca Torta, Gianluca Aguzzi, Ferruccio Damiani, Mirko Viroli
2025 — conf
Analysing Self-Adaptive Systems as Software Product Lines.
SPLC (A)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025 J jnl
Analysing Self-Adaptive Systems as Software Product Lines.
J. Syst. Softw.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025 J jnl
Declarative Dynamic Object Reclassification (Artifact).
Dagstuhl Artifacts Ser.
Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025 A conf
Declarative Dynamic Object Reclassification.
ECOOP
Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025 — conf
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System.
SPLC (A)
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025 J jnl
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System.
Formal Aspects Comput.
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025 C conf
Modeling Variability in Complex Software Systems.
Software Engineering
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2025 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
Log. Methods Comput. Sci.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2025 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
ACM Trans. Softw. Eng. Methodol.
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2025 J jnl
TinyML model compression: A comparative study of pruning and quantization on selected standard and custom neural networks.
Telecommun. Syst.
Muhammad Yasir Shabir, Gianluca Torta, Ferruccio Damiani
2024 — book
Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends
Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
2024 — ch.
Actor-Based Designs for Distributed Self-organisation Programming.
Active Object Languages: Current Research Trends
Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 C conf
An Enhanced Exchange Operator for XC.
COORDINATION
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta
2024 J jnl
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.
Sci. Comput. Program.
Ferruccio Damiani, David M. Eyers, Anna Philippou
2024 — conf
Product lines of dataflows.
SPLC (A)
Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
2024 J jnl
Product lines of dataflows.
J. Syst. Softw.
Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani
2024 J jnl
Programming Distributed Collective Processes in the eXchange Calculus.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2024 — conf
Real-Time Guarantees for SLCS Monitors in XC.
VORTEX@ISSTA
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2024 J jnl
Software Engineering for Collective Cyber-Physical Ecosystems.
CoRR
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli
2024 J jnl
The eXchange Calculus (XC): A functional programming language design for distributed collective systems.
J. Syst. Softw.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2024 — conf
Towards Real-Time Aggregate Computing.
ISoLA (2)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2023 J jnl
A field-based computing approach to sensing-driven clustering in robot swarms.
Swarm Intell.
Gianluca Aguzzi, Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 — ch.
Aggregate Programming for Customized Building Management and Users Preference Implementation.
IoT Edge Solutions for Cognitive Buildings
Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2023 J jnl
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.
Log. Methods Comput. Sci.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2023 — conf
Deltas for Functional Programs with Algebraic Data Types.
SPLC (A)
Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2023 B conf
Formal Modelling and Analysis of a Self-Adaptive Robotic System.
iFM
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023 J jnl
Formal Modelling and Analysis of a Self-Adaptive Robotic System.
CoRR
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023 — conf
On Stream Runtime Verification and Aggregate Programming.
VORTEX@ISSTA
Ferruccio Damiani, Gianluca Torta
2023 J jnl
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models.
CoRR
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023 J jnl
Predicting resource consumption of Kubernetes container systems using resource models.
J. Syst. Softw.
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023 C conf
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks.
COORDINATION
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta, Mirko Viroli
2023 J jnl
Variability modules.
J. Syst. Softw.
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2022 J jnl
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things.
CoRR
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 J jnl
Aggregate processes as distributed adaptive services for the Industrial Internet of Things.
Pervasive Mob. Comput.
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 — conf
Bringing Aggregate Programming Towards the Cloud.
ISoLA (3)
Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
2022 J jnl
Distributed runtime verification by past-CTL and the field calculus.
J. Syst. Softw.
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
2022 J jnl
Efficient static analysis and verification of featured transition systems.
Empir. Softw. Eng.
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2022 J jnl
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Sci. Comput. Program.
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
2022 J jnl
Functional Programming for Distributed Systems with XC (Artifact).
Dagstuhl Artifacts Ser.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022 A conf
Functional Programming for Distributed Systems with XC.
ECOOP
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli
2022 J jnl
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments.
CoRR
Marco Aldinucci, Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Pablo Ramón, Eva Sciacca, Salvatore Spinella, Angelo Troina
2022 J jnl
On logical and extensional characterizations of attributed feature models.
Theor. Comput. Sci.
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2022 J jnl
Programming the Interaction with Quantum Coprocessors.
ERCIM News
Ferruccio Damiani, Luca Paolini, Luca Roversi
2022 — conf
Towards Automated Engineering for Collective Adaptive Systems: Vision and Research Directions.
DASC/PiCom/CBDCom/CyberSciTech
Roberto Casadei, Danilo Pianini, Gianluca Aguzzi, Giorgio Audrito, Gianluca Torta, Marco Ottina, Ferruccio Damiani, Mirko Viroli
2022 — conf
Towards a Modular and Variability-Aware Aerodynamic Simulator.
The Logic of Software. A Tasting Menu of Formal Methods
Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel
2021 J jnl
Adaptive distributed monitors of spatial properties for cyber-physical systems.
J. Syst. Softw.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2021 J jnl
Aggregate centrality measures for IoT-based coordination.
Sci. Comput. Program.
Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli
2021 C ed.
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
COORDINATION
Ferruccio Damiani, Ornela Dardha
2021 J jnl
Engineering collective intelligence at the edge with aggregate processes.
Eng. Appl. Artif. Intell.
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2021 J jnl
Optimal resilient distributed data collection in mobile edge environments.
Comput. Electr. Eng.
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2021 — conf
RM for users' safety and security in the built environment.
VORTEX@ISSTA
Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2021 — conf
Static analysis and family-based model checking of featured transition systems with VMC.
SPLC (B)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
2021 — conf
Static analysis and family-based model checking with VMC.
SPLC (A)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
2021 — conf
Variability modules for Java-like languages.
SPLC (A)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2020 — conf
A Formal Model of the Kubernetes Container Framework.
ISoLA (1)
Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
2020 J jnl
Computation Against a Neighbour.
CoRR
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2020 — conf
FScaFi : A Core Calculus for Collective Adaptive Systems Programming.
ISoLA (2)
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani
2020 J jnl
Field-based Coordination with the Share Operator.
Log. Methods Comput. Sci.
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2020 J jnl
Lazy Product Discovery in Huge Configuration Spaces.
CoRR
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020 A* conf
Lazy product discovery in huge configuration spaces.
ICSE
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
2020 — conf
On Slicing Software Product Line Signatures.
ISoLA (1)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2020 C conf
On Two Characterizations of Feature Models.
ICTAC
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2020 C conf
Resilient Distributed Collection Through Information Speed Thresholds.
COORDINATION
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2019 J jnl
A Higher-Order Calculus of Computational Fields.
ACM Trans. Comput. Log.
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019 J jnl
A formal model for Multi Software Product Lines.
Sci. Comput. Program.
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2019 C conf
Aggregate Processes in Field Calculus.
COORDINATION
Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani
2019 J jnl
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form.
Int. J. Softw. Tools Technol. Transf.
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2019 — conf
Big data from the cloud to the edge: the aggregate computing solution.
ECSA (Companion)
Shaukat Ali, Ferruccio Damiani, Schahram Dustdar, Marialuisa Sanseverino, Mirko Viroli, Danny Weyns
2019 J jnl
Certifying delta-oriented programs.
Softw. Syst. Model.
Vítor Rodrigues, Simone Donetti, Ferruccio Damiani
2019 A conf
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems.
AAMAS
Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli
2019 J jnl
Field-based Coordination with the Share Operator.
CoRR
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2019 J jnl
From distributed coordination to field calculus and aggregate computing.
J. Log. Algebraic Methods Program.
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2019 C conf
On a Higher-Order Calculus of Computational Fields.
FORTE
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2019 J jnl
On the expressiveness of modal transition systems with variability constraints.
Sci. Comput. Program.
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019 — conf
Static analysis of featured transition systems.
SPLC (A)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
2019 B conf
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts.
IFM
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
2019 B conf
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.
IFM
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2019 C conf
The share Operator for Field-Based Coordination.
COORDINATION
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli
2018 J jnl
A core calculus for dynamic delta-oriented programming.
Acta Informatica
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl
2018 A conf
Distributed Real-Time Shortest-Paths Computations with the Field Calculus.
RTSS
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini
2018 J jnl
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.
ACM Trans. Model. Comput. Simul.
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2018 C conf
From Field-Based Coordination to Aggregate Computing.
COORDINATION
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
2018 B conf
Interoperability of software product line variants.
SPLC
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2018 — conf
Multi Software Product Lines in the Wild.
VaMoS
Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
2018 — conf
On Distributed Runtime Verification by Aggregate Computing.
VORTEX@ECOOP/ISSTA
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2018 J jnl
On checking delta-oriented product lines of statecharts.
Sci. Comput. Program.
Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin
2018 J jnl
Optimal single-path information propagation in gradient-based algorithms.
Sci. Comput. Program.
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2018 — conf
Same Same But Different: Interoperability of Software Product Line Variants.
Principled Software Development
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2018 C conf
Space-Time Universality of Field Calculus.
COORDINATION
Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli
2017 — conf
A Formal Model for Multi SPLs.
FSEN
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
2017 B conf
A Unified and Formal Programming Model for Deltas and Traits.
FASE
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2017 J jnl
A novel model-based testing approach for software product lines.
Softw. Syst. Model.
Ferruccio Damiani, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz
2017 — conf
Abstraction Refinement for the Analysis of Software Product Lines.
TAP@STAF
Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
2017 — conf
Aggregate Graph Statistics.
ALP4IoT@iFM
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017 B conf
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
IFM
Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer
2017 — conf
Compositional Blocks for Optimal Self-Healing Gradients.
SASO
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli
2017 J jnl
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation.
CoRR
Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2017 — conf
HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems.
ESOCC Workshops
Thomas Brox Røst, Christoph Seidl, Ingrid Chieh Yu, Ferruccio Damiani, Einar Broch Johnsen, Cristina Chesta
2017 C conf
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed.
COORDINATION
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
2017 J jnl
Self-Adaptation to Device Distribution in the Internet of Things.
ACM Trans. Auton. Adapt. Syst.
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
2017 J jnl
Xtraitj: Traits for the Java platform.
J. Syst. Softw.
Lorenzo Bettini, Ferruccio Damiani
2016 J jnl
A Higher-order Calculus of Computational Fields.
CoRR
Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal
2016 — conf
A Toolchain for Delta-Oriented Modeling of Software Product Lines.
ISoLA (2)
Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster
2016 J jnl
A type-sound calculus of computational fields.
Sci. Comput. Program.
Ferruccio Damiani, Mirko Viroli, Jacob Beal
2016 — conf
Introduction to the Track on Variability Modeling for Scalable Software Evolution.
ISoLA (2)
Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
2016 B conf
On Type Checking Delta-Oriented Product Lines.
IFM
Ferruccio Damiani, Michael Lienhardt
2016 C conf
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts.
Software Engineering (Workshops)
Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer
2016 J jnl
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
LNCS Trans. Found. Mastering Chang.
Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu
2016 — conf
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking.
ISoLA (2)
Ferruccio Damiani, Michael Lienhardt
2016 — conf
Refactoring Delta-Oriented Product Lines to achieve Monotonicity.
FMSPLE
Ferruccio Damiani, Michael Lienhardt
2016 — conf
Run-Time Management of Computation Domains in Field Calculus.
FAS*W@SASO/ICCAC
Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei
2016 — conf
Self-Adaptation to Device Distribution Changes.
SASO
Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
2015 C conf
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields.
FORTE
Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal
2015 — conf
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields.
SASO
Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini
2015 B conf
From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
SEFM
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
2015 J jnl
Implementing type-safe software product lines using parametric traits.
Sci. Comput. Program.
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2015 J jnl
Type-based Self-stabilisation for Computational Fields.
Log. Methods Comput. Sci.
Ferruccio Damiani, Mirko Viroli
2014 C conf
A Calculus of Self-stabilising Computational Fields.
COORDINATION
Mirko Viroli, Ferruccio Damiani
2014 — conf
Delta-Trait Programming of Software Product Lines.
ISoLA (1)
Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann
2014 B conf
Delta-oriented multi software product lines.
SPLC
Ferruccio Damiani, Ina Schaefer, Tim Winkelmann
2014 — conf
DeltaJ 1.5: delta-oriented programming for Java 1.5.
PPPJ
Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani
2014 — ed.
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
SFM
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer
2014 — conf
Generic traits for the Java platform.
PPPJ
Lorenzo Bettini, Ferruccio Damiani
2014 J jnl
Verifying traits: an incremental proof system for fine-grained reuse.
Formal Aspects Comput.
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2013 — conf
A Calculus of Computational Fields.
ESOCC Workshops
Mirko Viroli, Ferruccio Damiani, Jacob Beal
2013 J jnl
Combining traits with boxes and ownership types in a Java-like setting.
Sci. Comput. Program.
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
2013 J jnl
Compositional type checking of delta-oriented software product lines.
Acta Informatica
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2013 — ed.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
FMCO
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
2013 J jnl
On flexible dynamic trait replacement for Java-like languages.
Sci. Comput. Program.
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
2013 — conf
Pure trait-based programming on the Java platform.
PPPJ
Lorenzo Bettini, Ferruccio Damiani
2013 — conf
Refinement-based testing of delta-oriented product lines.
PPPJ
Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz
2013 J jnl
TraitRecordJ: A programming language with traits and records.
Sci. Comput. Program.
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2012 B conf
A formal foundation for dynamic delta-oriented software product lines.
GPCE
Ferruccio Damiani, Luca Padovani, Ina Schaefer
2012 — conf
A transformational proof system for delta-oriented programming.
SPLC (2)
Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu
2012 Misc conf
A type system for checking specialization of packages in object-oriented programming.
SAC
Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch
2012 — conf
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.
ISoLA (1)
Ferruccio Damiani, Ina Schaefer
2012 — ed.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
FoVeOOS
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
2012 — conf
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations.
CS2Bio
Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo
2012 J jnl
Simulation techniques for the calculus of wrapped compartments.
Theor. Comput. Sci.
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
2012 J jnl
Standard Type Soundness for Agents and Artifacts.
Sci. Ann. Comput. Sci.
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2011 J jnl
A Spatial Calculus of Wrapped Compartments
CoRR
Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina
2011 — conf
Compositional type-checking for delta-oriented programming.
AOSD
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
2011 — conf
Dynamic delta-oriented programming.
SPLC Workshops
Ferruccio Damiani, Ina Schaefer
2011 J jnl
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis.
Trans. Comp. Sys. Biology
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina
2011 — conf
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
CompMod
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
2011 C conf
On Designing Multicore-Aware Simulators for Biological Systems.
PDP
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
2011 — conf
On Parallelizing On-Line Statistics for Stochastic Biological Simulations.
Euro-Par Workshops (2)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina
2011 — conf
Type Inference for Bimorphic Recursion
GandALF
Makoto Tatsuta, Ferruccio Damiani
2011 — conf
Verifying traits: a proof system for fine-grained reuse.
FTfJP@ECOOP
Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer
2010 C conf
A Calculus for Boxes and Traits in a Java-Like Setting.
COORDINATION
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
2010 — conf
A prototypical Java-like language with records and traits.
PPPJ
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2010 — conf
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
FoVeOOS
Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani
2010 B conf
Delta-Oriented Programming of Software Product Lines.
SPLC
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
2010 — conf
Hybrid Calculus of Wrapped Compartments
MeCBIC
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
2010 Misc conf
Implementing software product lines using traits.
SAC
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
2010 J jnl
On Designing Multicore-aware Simulators for Biological Systems
CoRR
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
2010 — conf
Pure delta-oriented programming.
FOSD
Ina Schaefer, Ferruccio Damiani
2010 — conf
Stochastic Calculus of Wrapped Compartments
QAPL
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina
2009 — conf
A Calculus of Agents and Artifacts.
ICSOFT (Selected Papers)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009 — conf
A mechanism for flexible dynamic trait replacement.
FTfJP@ECOOP
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
2009 — conf
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts.
ICSOFT (1)
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
2009 — conf
Modelling an Ammonium Transporter with SCLS.
COMPMOD
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina
2009 — ed.
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers
TYPES
Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro
2008 J jnl
A type safe state abstraction for coordination in Java -like languages.
Acta Informatica
Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou
2008 J jnl
Alias Types and Effects for "Environment-aware" Computations.
Fundam. Informaticae
Ferruccio Damiani, Elena Giachino, Paola Giannini
2008 B conf
On Polymorphic Recursion, Type Systems, and Abstract Interpretation.
SAS
Marco Comini, Ferruccio Damiani, Samuel Vrech
2008 — conf
On Traits and Types in a Java-like Setting.
IFIP TCS
Viviana Bono, Ferruccio Damiani, Elena Giachino
2007 J jnl
A provenly correct translation of Fickle into Java.
ACM Trans. Program. Lang. Syst.
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2007 J jnl
Rank 2 Intersection for Recursive Definitions.
Fundam. Informaticae
Ferruccio Damiani
2006 — conf
On State Classes and Their Dynamic Semantics.
ICSOFT (Selected Papers)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
2006 — conf
On state classes and their dynamic semantics.
ICSOFT (1)
Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola
2005 A* conf
Polymorphic bytecode: compositional compilation for Java-like languages.
POPL
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
2005 — ed.
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004
ITRS
Mario Coppo, Ferruccio Damiani
2005 — conf
Rank-2 Intersection and Polymorphic Recursion.
TLCA
Ferruccio Damiani
2004 J jnl
On Re-classification and Multi-threading.
J. Object Technol.
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004 — conf
Preface.
ITRS
Mario Coppo, Ferruccio Damiani
2004 Misc conf
Re-classification and multi-threading:
SAC
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2004 — ed.
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
TYPES
Stefano Berardi, Mario Coppo, Ferruccio Damiani
2003 J jnl
A Conjunctive Type System for Useless-Code Elimination.
Math. Struct. Comput. Sci.
Ferruccio Damiani
2003 — conf
Alias types for "environment-aware" computations.
WOOD
Ferruccio Damiani, Paola Giannini
2003 J jnl
Rank 2 intersection types for local definitions and conditional expressions.
ACM Trans. Program. Lang. Syst.
Ferruccio Damiani
2003 C conf
Rank 2 intersection types for modules.
PPDP
Ferruccio Damiani
2003 — conf
Refined Effects for Unanticipated Object Re-classification: Fickle
ICTCS
Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
2002 — conf
A Calculus for "Environment-Aware" Computation.
F-WAN@ICALP
Viviana Bono, Ferruccio Damiani, Paola Giannini
2002 J jnl
More dynamic object reclassification: Fickle
ACM Trans. Program. Lang. Syst.
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2002 J jnl
Strictness, totality, and non-standard-type inference.
Theor. Comput. Sci.
Mario Coppo, Ferruccio Damiani, Paola Giannini
2001 — conf
A type preserving translation of Fickle into Java.
TOSCA
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001 — conf
An Effective Translation of Fickle into Java.
ICTCS
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
2001 A conf
Fickle : Dynamic Object Re-classification.
ECOOP
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2000 J jnl
Automatic useless-code elimination for HOT functional programs.
J. Funct. Program.
Ferruccio Damiani, Paola Giannini
2000 — conf
Conjunctive Types and Useless-code Elimination.
ICALP Satellite Workshops
Ferruccio Damiani
2000 — conf
Type-Based Useless-Code Elimination for Functional Programs.
SAIG
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
2000 B conf
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection.
FoSSaCS
Ferruccio Damiani
1999 J jnl
A filter model for mobile processes.
Math. Struct. Comput. Sci.
Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
1999 — conf
Useless-Code Detection and Elimination for PCF with Algebraic Data types.
TLCA
Ferruccio Damiani
1997 — conf
An Inference Algorithm for Strictness.
TLCA
Ferruccio Damiani, Paola Giannini
1997 — conf
On Strictness and Totality.
TACS
Mario Coppo, Ferruccio Damiani, Paola Giannini
1996 — conf
Detecting and Removing Dead-Code using Rank 2 Intersection.
TYPES
Ferruccio Damiani, Frédéric Prost
1996 B conf
Refinement Types for Program Analysis.
SAS
Mario Coppo, Ferruccio Damiani, Paola Giannini
1994 — conf
A Decidable Intersection Type System based on Relevance.
TACS
Ferruccio Damiani, Paola Giannini