DAMIANI, Ferruccio
DAMIANI, Ferruccio
INFORMATICA
A calculus for "environment-aware" computation
2002-01-01 Viviana Bono; Ferruccio Damiani; Paola Giannini
A Calculus for Boxes and Traits in a Java-Like Setting
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
A Calculus of Computational Fields
2013-01-01 Mirko Viroli; Ferruccio Damiani; Jacob Beal
A Calculus of Self-stabilising Computational Fields
2014-01-01 Mirko Viroli;Ferruccio Damiani
A Decidable Intersection Type System based on Relevance
1994-01-01 Ferruccio Damiani; Paola Giannini
A formal foundation for dynamic delta-oriented software product lines
2013-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A Formal Model for Multi SPLs
2017-01-01 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A Formal Model of the Kubernetes Container Framework
2020-01-01 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
A Mechanisms for Flexible Dynamic Trait Replacement
2009-01-01 Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
A Prototypical Java-like Language with Records and Traits
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
A Spatial Calculus of Wrapped Compartments
2011-01-01 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
A State Abstraction for Coordination in Java-like Languages
2006-01-01 F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU
A toolchain for delta-oriented modeling of software product lines
2016-01-01 Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
A Transformational Proof System for Delta-Oriented Programming
2012-01-01 Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
A type preserving translation of Fickle into Java: (Extended Abstract)
2002-01-01 D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca
A type system for checking specialization of packages in object-oriented programming
2012-01-01 Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
A unified and formal programming model for deltas and traits
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification
2010-01-01 Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Abstraction refinement for the analysis of software product lines
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A calculus for "environment-aware" computation | 2002 | Viviana Bono; Ferruccio Damiani; Paola Giannini | |
| A Calculus for Boxes and Traits in a Java-Like Setting | 2010 | Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer | |
| A Calculus of Computational Fields | 2013 | Mirko Viroli; Ferruccio Damiani; Jacob Beal | |
| A Calculus of Self-stabilising Computational Fields | 2014 | Mirko Viroli;Ferruccio Damiani | |
| A Decidable Intersection Type System based on Relevance | 1994 | Ferruccio Damiani; Paola Giannini | |
| A formal foundation for dynamic delta-oriented software product lines | 2013 | Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina | |
| A formal foundation for dynamic delta-oriented software product lines | 2012 | Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer | |
| A Formal Model for Multi SPLs | 2017 | Damiani Ferruccio; Michael LIENHARDT; Luca Paolini | |
| A Formal Model of the Kubernetes Container Framework | 2020 | Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F. | |
| A Mechanisms for Flexible Dynamic Trait Replacement | 2009 | Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani | |
| A Prototypical Java-like Language with Records and Traits | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco | |
| A Spatial Calculus of Wrapped Compartments | 2011 | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina | |
| A State Abstraction for Coordination in Java-like Languages | 2006 | F. DAMIANI; E. GIACHINO; P. GIANNINI; N. CAMERON; S. DROSSOPOULOU | |
| A toolchain for delta-oriented modeling of software product lines | 2016 | Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven | |
| A Transformational Proof System for Delta-Oriented Programming | 2012 | Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu | |
| A type preserving translation of Fickle into Java: (Extended Abstract) | 2002 | D. Ancona; C. Anderson; F. Damiani; S. Drossopoulou; P. Giannini; E. Zucca | |
| A type system for checking specialization of packages in object-oriented programming | 2012 | Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch | |
| A unified and formal programming model for deltas and traits | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael | |
| Abstract compilation of object-oriented languages into coinductive CLP(X): when type inference meets verification | 2010 | Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani | |
| Abstraction refinement for the analysis of software product lines | 2017 | Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael |