![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ferruccio Damiani
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j54]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. J. Syst. Softw. 210: 111928 (2024) - [j53]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: 111976 (2024) - [j52]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: 103096 (2024) - [c110]Giorgio Audrito
, Daniele Bortoluzzi
, Ferruccio Damiani
, Giordano Scarso
, Gianluca Torta
:
An Enhanced Exchange Operator for XC. COORDINATION 2024: 129-145 - [c109]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. SPLC (A) 2024: 218 - [p2]Roberto Casadei
, Ferruccio Damiani
, Gianluca Torta
, Mirko Viroli
:
Actor-Based Designs for Distributed Self-organisation Programming. Active Object Languages: Current Research Trends 2024: 37-58 - [e8]Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - [i14]Giorgio Audrito, Roberto Casadei
, Ferruccio Damiani, Gianluca Torta, Mirko Viroli:
Programming Distributed Collective Processes in the eXchange Calculus. CoRR abs/2401.11212 (2024) - [i13]Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Giordano Scarso, Gianluca Torta, Mirko Viroli:
Software Engineering for Collective Cyber-Physical Ecosystems. CoRR abs/2406.04780 (2024) - 2023
- [j51]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules. J. Syst. Softw. 195: 111510 (2023) - [j50]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: 111750 (2023) - [j49]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) - [j48]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-2): 27-62 (2023) - [c108]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Gianluca Torta
, Mirko Viroli
:
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks. COORDINATION 2023: 71-89 - [c107]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: 343-363 - [c106]Ferruccio Damiani
, Eduard Kamburjan
, Michael Lienhardt
, Luca Paolini
:
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) 2023: 52-63 - [c105]Ferruccio Damiani, Gianluca Torta:
On Stream Runtime Verification and Aggregate Programming. VORTEX@ISSTA 2023: 9-12 - [p1]Giorgio Audrito, Ferruccio Damiani, Stefano Rinaldi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta:
Aggregate Programming for Customized Building Management and Users Preference Implementation. IoT Edge Solutions for Cognitive Buildings 2023: 147-172 - [i12]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 abs/2305.07651 (2023) - [i11]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 abs/2308.14663 (2023) - 2022
- [j47]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC (Artifact). Dagstuhl Artifacts Ser. 8(2): 08:1-08:4 (2022) - [j46]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): 10 (2022) - [j45]Giorgio Audrito
, Ferruccio Damiani, Volker Stolz, Gianluca Torta
, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j44]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta
:
Aggregate processes as distributed adaptive services for the Industrial Internet of Things. Pervasive Mob. Comput. 85: 101658 (2022) - [j43]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: 102879 (2022) - [j42]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912: 56-80 (2022) - [c104]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: 147-172 - [c103]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: 1-6 - [c102]Giorgio Audrito, Roberto Casadei
, Ferruccio Damiani, Guido Salvaneschi
, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [c101]Giorgio Audrito
, Ferruccio Damiani
, Gianluca Torta
:
Bringing Aggregate Programming Towards the Cloud. ISoLA (3) 2022: 301-317 - [i10]Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things. CoRR abs/2204.00467 (2022) - [i9]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 abs/2212.07105 (2022) - [i8]Ferruccio Damiani, Luca Paolini, Luca Roversi:
Programming the Interaction with Quantum Coprocessors. ERCIM News 2022(128) (2022) - 2021
- [j41]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani, Danilo Pianini
, Mirko Viroli:
Optimal resilient distributed data collection in mobile edge environments. Comput. Electr. Eng. 96(Part): 107580 (2021) - [j40]Roberto Casadei
, Mirko Viroli, Giorgio Audrito, Danilo Pianini
, Ferruccio Damiani:
Engineering collective intelligence at the edge with aggregate processes. Eng. Appl. Artif. Intell. 97: 104081 (2021) - [j39]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Volker Stolz
, Mirko Viroli:
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175: 110908 (2021) - [j38]Giorgio Audrito, Danilo Pianini
, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203: 102584 (2021) - [c100]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: 13-16 - [c99]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules for Java-like languages. SPLC (A) 2021: 1-12 - [c98]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: 24-27 - [c97]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: 214 - [e7]Ferruccio Damiani
, Ornela Dardha
:
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. Lecture Notes in Computer Science 12717, Springer 2021, ISBN 978-3-030-78141-5 [contents] - 2020
- [j37]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [c96]Giorgio Audrito
, Sergio Bergamini, Ferruccio Damiani
, Mirko Viroli
:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c95]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro
:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521 - [c94]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Two Characterizations of Feature Models. ICTAC 2020: 103-122 - [c93]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
On Slicing Software Product Line Signatures. ISoLA (1) 2020: 81-102 - [c92]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Ferruccio Damiani
:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [c91]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: 558-577 - [i7]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy Product Discovery in Huge Configuration Spaces. CoRR abs/2003.07383 (2020) - [i6]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Computation Against a Neighbour. CoRR abs/2012.08626 (2020)
2010 – 2019
- 2019
- [j36]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) - [j35]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: 1-17 (2019) - [j34]Ferruccio Damiani, Michael Lienhardt, Luca Paolini
:
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172: 203-231 (2019) - [j33]Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. Softw. Syst. Model. 18(5): 2875-2906 (2019) - [j32]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): 691-707 (2019) - [j31]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani
, Danilo Pianini
, Jacob Beal:
A Higher-Order Calculus of Computational Fields. ACM Trans. Comput. Log. 20(1): 5:1-5:55 (2019) - [c90]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c89]Giorgio Audrito
, Jacob Beal
, Ferruccio Damiani
, Danilo Pianini
, Mirko Viroli
:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c88]Roberto Casadei
, Mirko Viroli
, Giorgio Audrito
, Danilo Pianini
, Ferruccio Damiani
:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c87]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: 177-180 - [c86]Giorgio Audrito
, Mirko Viroli
, Ferruccio Damiani
, Danilo Pianini
, Jacob Beal
:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c85]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM 2019: 534-537 - [c84]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: 542-546 - [c83]Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13 - [i5]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. CoRR abs/1910.02874 (2019) - 2018
- [j30]Ferruccio Damiani
, Luca Padovani
, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018) - [j29]Michael Lienhardt, Ferruccio Damiani
, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166: 3-34 (2018) - [j28]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli
:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j27]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): 16:1-16:28 (2018) - [c82]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117 - [c81]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c80]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei
, Danilo Pianini
:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c79]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c78]Ferruccio Damiani, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c77]Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
:
Multi Software Product Lines in the Wild. VaMoS 2018: 89-96 - [c76]Giorgio Audrito, Ferruccio Damiani, Volker Stolz
, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [j26]Lorenzo Bettini
, Ferruccio Damiani
:
Xtraitj: Traits for the Java platform. J. Syst. Softw. 131: 419-441 (2017) - [j25]Ferruccio Damiani
, David Faitelson, Christoph Gladisch, Shmuel S. Tyszberowicz:
A novel model-based testing approach for software product lines. Softw. Syst. Model. 16(4): 1223-1251 (2017) - [j24]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): 12:1-12:29 (2017) - [c75]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c74]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: 159-163 - [c73]Ferruccio Damiani
, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c72]Ferruccio Damiani
, Michael Lienhardt, Luca Paolini
:
A Formal Model for Multi SPLs. FSEN 2017: 67-83 - [c71]Ferruccio Damiani
, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126 - [c70]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c69]Ferruccio Damiani
, Reiner Hähnle
, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20 - [c68]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Aggregate Graph Statistics. ALP4IoT@iFM 2017: 18-22 - [i4]Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation. CoRR abs/1711.08297 (2017) - 2016
- [j23]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: 130-156 (2016) - [j22]Ferruccio Damiani
, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) - [c67]Ferruccio Damiani
, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62 - [c66]Ferruccio Damiani
, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) 2016: 423-432 - [c65]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: 497-511 - [c64]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596 - [c63]Jacob Beal, Mirko Viroli, Danilo Pianini
, Ferruccio Damiani
:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69 - [c62]Giorgio Audrito
, Ferruccio Damiani
, Mirko Viroli, Roberto Casadei
:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c61]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: 40-54 - [c60]Ferruccio Damiani
, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to achieve Monotonicity. FMSPLE 2016: 2-16 - [i3]Mirko Viroli, Giorgio Audrito, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
A Higher-order Calculus of Computational Fields. CoRR abs/1610.08116 (2016) - 2015
- [j21]Ferruccio Damiani
, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015) - [j20]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308 (2015) - [c59]Ferruccio Damiani
, Mirko Viroli, Danilo Pianini
, Jacob Beal
:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128 - [c58]Mirko Viroli, Jacob Beal, Ferruccio Damiani
, Danilo Pianini
:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90 - [c57]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: 344-359 - 2014
- [j19]Ferruccio Damiani
, Johan Dovland, Einar Broch Johnsen
, Ina Schaefer:
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26(4): 761-793 (2014) - [c56]Mirko Viroli, Ferruccio Damiani
:
A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178 - [c55]Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303 - [c54]Lorenzo Bettini
, Ferruccio Damiani
:
Generic traits for the Java platform. PPPJ 2014: 5-16 - [c53]Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze
, Lorenzo Bettini
, Ferruccio Damiani
:
DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ 2014: 63-74 - [c52]Ferruccio Damiani
, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236 - [e6]Marco Bernardo
, Ferruccio Damiani
, Reiner Hähnle
, Einar Broch Johnsen
, Ina Schaefer:
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. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - 2013
- [j18]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2): 77-122 (2013) - [j17]Lorenzo Bettini
, Ferruccio Damiani
, Kathrin Geilmann, Jan Schäfer:
Combining traits with boxes and ownership types in a Java-like setting. Sci. Comput. Program. 78(2): 218-247 (2013) - [j16]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer, Fabio Strocco:
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013) - [j15]Lorenzo Bettini
, Sara Capecchi
, Ferruccio Damiani
:
On flexible dynamic trait replacement for Java-like languages. Sci. Comput. Program. 78(7): 907-932 (2013) - [c51]Mirko Viroli, Ferruccio Damiani
, Jacob Beal
:
A Calculus of Computational Fields. ESOCC Workshops 2013: 114-128 - [c50]Lorenzo Bettini
, Ferruccio Damiani
:
Pure trait-based programming on the Java platform. PPPJ 2013: 67-78 - [c49]Ferruccio Damiani
, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140 - [e5]Bernhard Beckert
, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents] - 2012
- [j14]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012) - [j13]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Simulation techniques for the calculus of wrapped compartments. Theor. Comput. Sci. 431: 75-95 (2012) - [c48]Ferruccio Damiani
, Luca Padovani
, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10 - [c47]Ferruccio Damiani
, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207 - [c46]Ferruccio Damiani
, Arnd Poetzsch-Heffter, Yannick Welsch:
A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742 - [c45]Ferruccio Damiani
, Olaf Owe
, Johan Dovland, Ina Schaefer, Einar Broch Johnsen
, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [c44]Eva Sciacca
, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani
, Mario Coppo:
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. CS2Bio 2012: 83-96 - [e4]Bernhard Beckert
, Ferruccio Damiani
, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents] - 2011
- [j12]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13: 85-109 (2011) - [c43]Ina Schaefer, Lorenzo Bettini
, Ferruccio Damiani
:
Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56 - [c42]Ferruccio Damiani
, Johan Dovland, Einar Broch Johnsen
, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP 2011: 8:1-8:6 - [c41]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco
, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina:
On Parallelizing On-Line Statistics for Stochastic Biological Simulations. Euro-Par Workshops (2) 2011: 3-12 - [c40]Marco Aldinucci
, Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Massimo Torquati
, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325 - [c39]Ferruccio Damiani
, Ina Schaefer:
Dynamic delta-oriented programming. SPLC Workshops 2011: 34 - [c38]Cristina Calcagno, Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments. CompMod 2011: 3-18 - [c37]Makoto Tatsuta, Ferruccio Damiani
:
Type Inference for Bimorphic Recursion. GandALF 2011: 102-115 - [i2]Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426 (2011) - 2010
- [c36]Lorenzo Bettini
, Ferruccio Damiani
, Marco De Luca, Kathrin Geilmann, Jan Schäfer:
A Calculus for Boxes and Traits in a Java-Like Setting. COORDINATION 2010: 46-60 - [c35]Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45 - [c34]Ina Schaefer, Ferruccio Damiani
:
Pure delta-oriented programming. FOSD 2010: 49-56 - [c33]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer, Fabio Strocco:
A prototypical Java-like language with records and traits. PPPJ 2010: 129-138 - [c32]Lorenzo Bettini
, Ferruccio Damiani
, Ina Schaefer:
Implementing software product lines using traits. SAC 2010: 2096-2102 - [c31]Ina Schaefer, Lorenzo Bettini
, Viviana Bono
, Ferruccio Damiani
, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91 - [c30]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98 - [c29]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. MeCBIC 2010: 102-120 - [i1]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-aware Simulators for Biological Systems. CoRR abs/1010.2438 (2010)
2000 – 2009
- 2009
- [c28]Lorenzo Bettini
, Sara Capecchi
, Ferruccio Damiani
:
A mechanism for flexible dynamic trait replacement. FTfJP@ECOOP 2009: 9:1-9:7 - [c27]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
A Calculus of Agents and Artifacts. ICSOFT (Selected Papers) 2009: 124-136 - [c26]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
FEATHERWEIGHT AGENT LANGUAGE - A Core Calculus for Agents and Artifacts. ICSOFT (1) 2009: 218-225 - [c25]Mario Coppo, Ferruccio Damiani, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92 - [e3]Stefano Berardi, Ferruccio Damiani
, Ugo de'Liguoro:
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5497, Springer 2009, ISBN 978-3-642-02443-6 [contents] - 2008
- [j11]Ferruccio Damiani
, Elena Giachino
, Paola Giannini
, Sophia Drossopoulou:
A type safe state abstraction for coordination in Java -like languages. Acta Informatica 45(7-8): 479-536 (2008) - [j10]Ferruccio Damiani, Elena Giachino, Paola Giannini:
Alias Types and Effects for "Environment-aware" Computations. Fundam. Informaticae 88(1-2): 63-107 (2008) - [c24]Viviana Bono
, Ferruccio Damiani
, Elena Giachino
:
On Traits and Types in a Java-like Setting. IFIP TCS 2008: 367-382 - [c23]Marco Comini
, Ferruccio Damiani
, Samuel Vrech:
On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158 - 2007
- [j9]Ferruccio Damiani:
Rank 2 Intersection for Recursive Definitions. Fundam. Informaticae 77(4): 451-488 (2007) - [j8]Davide Ancona, Christopher Anderson, Ferruccio Damiani
, Sophia Drossopoulou, Paola Giannini
, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007) - 2006
- [c22]Ferruccio Damiani, Elena Giachino, Paola Giannini, Emanuele Cazzola:
On state classes and their dynamic semantics. ICSOFT (1) 2006: 5-12 - [c21]Ferruccio Damiani, Elena Giachino
, Paola Giannini
, Emanuele Cazzola:
On State Classes and Their Dynamic Semantics. ICSOFT (Selected Papers) 2006: 84-96 - 2005
- [c20]Davide Ancona, Ferruccio Damiani
, Sophia Drossopoulou, Elena Zucca:
Polymorphic bytecode: compositional compilation for Java-like languages. POPL 2005: 26-37 - [c19]Ferruccio Damiani:
Rank-2 Intersection and Polymorphic Recursion. TLCA 2005: 146-161 - [e2]Mario Coppo, Ferruccio Damiani:
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents] - 2004
- [j7]Ferruccio Damiani
, Mariangiola Dezani-Ciancaglini, Paola Giannini
:
On Re-classification and Multi-threading. J. Object Technol. 3(11): 5-30 (2004) - [c18]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Re-classification and multi-threading: FickleMT. SAC 2004: 1297-1304 - [c17]Mario Coppo, Ferruccio Damiani
:
Preface. ITRS 2004: 1-2 - [e1]Stefano Berardi, Mario Coppo, Ferruccio Damiani
:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3085, Springer 2004, ISBN 3-540-22164-6 [contents] - 2003
- [j6]Ferruccio Damiani
:
A Conjunctive Type System for Useless-Code Elimination. Math. Struct. Comput. Sci. 13(1): 157-197 (2003) - [j5]Ferruccio Damiani
:
Rank 2 intersection types for local definitions and conditional expressions. ACM Trans. Program. Lang. Syst. 25(4): 401-451 (2003) - [c16]Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini
:
Refined Effects for Unanticipated Object Re-classification: Fickle3. ICTCS 2003: 97-110 - [c15]Ferruccio Damiani:
Rank 2 intersection types for modules. PPDP 2003: 67-78 - [c14]Ferruccio Damiani
, Paola Giannini
:
Alias types for "environment-aware" computations. WOOD 2003: 130-150 - 2002
- [j4]Mario Coppo, Ferruccio Damiani
, Paola Giannini
:
Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002) - [j3]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini
, Paola Giannini
:
More dynamic object reclassification: Fickle||. ACM Trans. Program. Lang. Syst. 24(2): 153-191 (2002) - [c13]Viviana Bono
, Ferruccio Damiani
, Paola Giannini
:
A Calculus for "Environment-Aware" Computation. F-WAN@ICALP 2002: 98-115 - 2001
- [c12]Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
:
Fickle : Dynamic Object Re-classification. ECOOP 2001: 130-149 - [c11]Davide Ancona, Christopher Anderson, Ferruccio Damiani
, Sophia Drossopoulou, Paola Giannini
, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234 - [c10]Davide Ancona, Christopher Anderson, Ferruccio Damiani
, Sophia Drossopoulou, Paola Giannini
, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82 - 2000
- [j2]Ferruccio Damiani, Paola Giannini
:
Automatic useless-code elimination for HOT functional programs. J. Funct. Program. 10(6): 509-559 (2000) - [c9]Ferruccio Damiani:
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection. FoSSaCS 2000: 82-97 - [c8]Ferruccio Damiani:
Conjunctive Types and Useless-code Elimination. ICALP Satellite Workshops 2000: 271-286 - [c7]Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
:
Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
1990 – 1999
- 1999
- [j1]Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
A filter model for mobile processes. Math. Struct. Comput. Sci. 9(1): 63-101 (1999) - [c6]Ferruccio Damiani:
Useless-Code Detection and Elimination for PCF with Algebraic Data types. TLCA 1999: 83-97 - 1997
- [c5]Mario Coppo, Ferruccio Damiani
, Paola Giannini
:
On Strictness and Totality. TACS 1997: 138-164 - [c4]Ferruccio Damiani
, Paola Giannini
:
An Inference Algorithm for Strictness. TLCA 1997: 129-146 - 1996
- [c3]Mario Coppo, Ferruccio Damiani, Paola Giannini
:
Refinement Types for Program Analysis. SAS 1996: 143-158 - [c2]Ferruccio Damiani
, Frédéric Prost:
Detecting and Removing Dead-Code using Rank 2 Intersection. TYPES 1996: 66-87 - 1994
- [c1]Ferruccio Damiani, Paola Giannini
:
A Decidable Intersection Type System based on Relevance. TACS 1994: 707-725
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint