default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFerruccio Damiani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j55]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. 240: 103221 (2025)- 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) - [c112]Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso, Gianluca Torta:
An Enhanced Exchange Operator for XC. COORDINATION 2024: 129-145 - [c111]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Towards Real-Time Aggregate Computing. ISoLA (2) 2024: 49-68 - [c110]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. SPLC (A) 2024: 218 - [c109]Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Real-Time Guarantees for SLCS Monitors in XC. VORTEX@ISSTA 2024: 32-37 - [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 - [d8]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 (Artifact). Zenodo, 2023
- [d7]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 (Artifact). Zenodo, 2023 - [d6]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 (Artifact). Zenodo, 2023 - [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 - [d5]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Zenodo, 2022 - [d4]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Zenodo, 2022 - [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] - [d3]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Zenodo, 2021 - [d2]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Zenodo, 2021 - [d1]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability Modules for Java-like Languages (Artifact). Zenodo, 2021 - 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]