Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA 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
- 2022
[d1]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)- [j49]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) - [j48]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) - [j47]Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912: 56-80 (2022) - [c96]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli:
Functional Programming for Distributed Systems with XC. ECOOP 2022: 20:1-20:28 - [i9]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) - [i8]Ferruccio Damiani, Luca Paolini, Luca Roversi:
Programming the Interaction with Quantum Coprocessors. ERCIM News 2022(128) (2022) - 2021
- [j46]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) - [j45]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) - [j44]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) - [j43]Giorgio Audrito, Danilo Pianini, Ferruccio Damiani, Mirko Viroli:
Aggregate centrality measures for IoT-based coordination. Sci. Comput. Program. 203: 102584 (2021) - [c95]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 - [c94]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini:
Variability modules for Java-like languages. SPLC (A) 2021: 1-12 - [c93]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 - [c92]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 - [e6]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
- [j42]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
Field-based Coordination with the Share Operator. Log. Methods Comput. Sci. 16(4) (2020) - [c91]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Resilient Distributed Collection Through Information Speed Thresholds. COORDINATION 2020: 211-229 - [c90]Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro:
Lazy product discovery in huge configuration spaces. ICSE 2020: 1509-1521 - [c89]Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On Two Characterizations of Feature Models. ICTAC 2020: 103-122 - [c88]Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
On Slicing Software Product Line Signatures. ISoLA (1) 2020: 81-102 - [c87]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani:
FScaFi : A Core Calculus for Collective Adaptive Systems Programming. ISoLA (2) 2020: 344-360 - [c86]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
- [j41]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) - [j40]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) - [j39]Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172: 203-231 (2019) - [j38]Vítor Rodrigues, Simone Donetti, Ferruccio Damiani:
Certifying delta-oriented programs. Softw. Syst. Model. 18(5): 2875-2906 (2019) - [j37]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) - [j36]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) - [c85]Giorgio Audrito, Sergio Bergamini, Ferruccio Damiani, Mirko Viroli:
Effective Collective Summarisation of Distributed Data in Mobile Multi-Agent Systems. AAMAS 2019: 1618-1626 - [c84]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini, Mirko Viroli:
The share Operator for Field-Based Coordination. COORDINATION 2019: 54-71 - [c83]Roberto Casadei, Mirko Viroli, Giorgio Audrito, Danilo Pianini, Ferruccio Damiani:
Aggregate Processes in Field Calculus. COORDINATION 2019: 200-217 - [c82]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 - [c81]Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal:
On a Higher-Order Calculus of Computational Fields. FORTE 2019: 289-292 - [c80]Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. IFM 2019: 534-537 - [c79]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 - [c78]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
- [j35]Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018) - [j34]Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin:
On checking delta-oriented product lines of statecharts. Sci. Comput. Program. 166: 3-34 (2018) - [j33]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimal single-path information propagation in gradient-based algorithms. Sci. Comput. Program. 166: 146-166 (2018) - [j32]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) - [c77]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 - [c76]Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Mirko Viroli:
Space-Time Universality of Field Calculus. COORDINATION 2018: 1-20 - [c75]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini:
From Field-Based Coordination to Aggregate Computing. COORDINATION 2018: 252-279 - [c74]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Enrico Bini:
Distributed Real-Time Shortest-Paths Computations with the Field Calculus. RTSS 2018: 23-34 - [c73]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c72]Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini:
Multi Software Product Lines in the Wild. VaMoS 2018: 89-96 - [c71]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [j31]Lorenzo Bettini, Ferruccio Damiani:
Xtraitj: Traits for the Java platform. J. Syst. Softw. 131: 419-441 (2017) - [j30]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) - [j29]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) - [c70]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli:
Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed. COORDINATION 2017: 59-77 - [c69]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 - [c68]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c67]Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
A Formal Model for Multi SPLs. FSEN 2017: 67-83 - [c66]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 - [c65]Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli:
Compositional Blocks for Optimal Self-Healing Gradients. SASO 2017: 91-100 - [c64]Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt:
Abstraction Refinement for the Analysis of Software Product Lines. TAP@STAF 2017: 3-20 - [c63]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
- [j28]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) - [j27]Ferruccio Damiani, Mirko Viroli, Jacob Beal:
A type-sound calculus of computational fields. Sci. Comput. Program. 117: 17-44 (2016) - [c62]Ferruccio Damiani, Michael Lienhardt:
On Type Checking Delta-Oriented Product Lines. IFM 2016: 47-62 - [c61]Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu:
Introduction to the Track on Variability Modeling for Scalable Software Evolution. ISoLA (2) 2016: 423-432 - [c60]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 - [c59]Ferruccio Damiani, Michael Lienhardt:
Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking. ISoLA (2) 2016: 579-596 - [c58]Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani:
Self-Adaptation to Device Distribution Changes. SASO 2016: 60-69 - [c57]Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei:
Run-Time Management of Computation Domains in Field Calculus. FAS*W@SASO/ICCAC 2016: 192-197 - [c56]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 - [c55]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
- [j26]Ferruccio Damiani, Mirko Viroli:
Type-based Self-stabilisation for Computational Fields. Log. Methods Comput. Sci. 11(4) (2015) - [j25]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308 (2015) - [c54]Ferruccio Damiani, Mirko Viroli, Danilo Pianini, Jacob Beal:
Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. FORTE 2015: 113-128 - [c53]Mirko Viroli, Jacob Beal, Ferruccio Damiani, Danilo Pianini:
Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. SASO 2015: 81-90 - [c52]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
- [j24]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) - [c51]Mirko Viroli, Ferruccio Damiani:
A Calculus of Self-stabilising Computational Fields. COORDINATION 2014: 163-178 - [c50]Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303 - [c49]Lorenzo Bettini, Ferruccio Damiani:
Generic traits for the Java platform. PPPJ 2014: 5-16 - [c48]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 - [c47]Ferruccio Damiani, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236 - [e5]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
- [j23]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2): 77-122 (2013) - [j22]Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo:
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. Electron. Notes Theor. Comput. Sci. 293: 83-96 (2013) - [j21]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) - [j20]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013) - [j19]Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani:
On flexible dynamic trait replacement for Java-like languages. Sci. Comput. Program. 78(7): 907-932 (2013) - [c46]Mirko Viroli, Ferruccio Damiani, Jacob Beal:
A Calculus of Computational Fields. ESOCC Workshops 2013: 114-128 - [c45]Lorenzo Bettini, Ferruccio Damiani:
Pure trait-based programming on the Java platform. PPPJ 2013: 67-78 - [c44]Ferruccio Damiani, Christoph Gladisch, Shmuel S. Tyszberowicz:
Refinement-based testing of delta-oriented product lines. PPPJ 2013: 135-140 - [e4]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
- [j18]Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli:
Standard Type Soundness for Agents and Artifacts. Sci. Ann. Comput. Sci. 22(2): 267-326 (2012) - [j17]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) - [c43]Ferruccio Damiani, Luca Padovani, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10 - [c42]Ferruccio Damiani, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207 - [c41]Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch:
A type system for checking specialization of packages in object-oriented programming. SAC 2012: 1737-1742 - [c40]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 - [e3]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
- [j16]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) - [c39]Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani:
Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56 - [c38]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 - [c37]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 - [c36]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325 - [c35]Ferruccio Damiani, Ina Schaefer:
Dynamic delta-oriented programming. SPLC Workshops 2011: 34 - [c34]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 - [c33]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
- [c32]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 - [c31]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 - [c30]Ina Schaefer, Ferruccio Damiani:
Pure delta-oriented programming. FOSD 2010: 49-56 - [c29]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
A prototypical Java-like language with records and traits. PPPJ 2010: 129-138 - [c28]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing software product lines using traits. SAC 2010: 2096-2102 - [c27]