Seuraa
Ferruccio Damiani
Ferruccio Damiani
Full Professor of Compurer Science, University of Torino
Vahvistettu sähköpostiosoite verkkotunnuksessa di.unito.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Delta-oriented programming of software product lines
I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella
Software Product Lines: Going Beyond: 14th International Conference, SPLC …, 2010
5102010
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1352001
More dynamic object reclassification: Fickle_II
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2), 153-191, 2002
1152002
Engineering resilient collective adaptive systems by self-stabilisation
M Viroli, G Audrito, J Beal, F Damiani, D Pianini
ACM Transactions on Modeling and Computer Simulation (TOMACS) 28 (2), 1-28, 2018
912018
Pure delta-oriented programming
I Schaefer, F Damiani
Proceedings of the 2nd International Workshop on Feature-Oriented Software …, 2010
792010
DeltaJ 1.5: delta-oriented programming for Java 1.5
J Koscielny, S Holthusen, I Schaefer, S Schulze, L Bettini, F Damiani
Proceedings of the 2014 International Conference on Principles and Practices …, 2014
762014
Polymorphic bytecode: Compositional compilation for Java-like languages
D Ancona, F Damiani, S Drossopoulou, E Zucca
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
762005
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
742011
A higher-order calculus of computational fields
G Audrito, M Viroli, F Damiani, D Pianini, J Beal
ACM Transactions on Computational Logic (TOCL) 20 (1), 1-55, 2019
702019
From distributed coordination to field calculus and aggregate computing
M Viroli, J Beal, F Damiani, G Audrito, R Casadei, D Pianini
Journal of Logical and Algebraic Methods in Programming 109, 100486, 2019
682019
A calculus of computational fields
M Viroli, F Damiani, J Beal
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013 …, 2013
592013
Code mobility meets self-organisation: A higher-order calculus of computational fields
F Damiani, M Viroli, D Pianini, J Beal
International Conference on Formal Techniques for Distributed Objects …, 2015
552015
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
542013
Efficient engineering of complex self-organising systems by self-stabilising fields
M Viroli, J Beal, F Damiani, D Pianini
2015 IEEE 9th International Conference on Self-Adaptive and Self-Organizing …, 2015
532015
Compositional blocks for optimal self-healing gradients
G Audrito, R Casadei, F Damiani, M Viroli
2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing …, 2017
522017
Dynamic delta-oriented programming
F Damiani, I Schaefer
Proceedings of the 15th International Software Product Line Conference …, 2011
512011
Implementing software product lines using traits
L Bettini, F Damiani, I Schaefer
Proceedings of the 2010 ACM Symposium on Applied Computing, 2096-2102, 2010
502010
A calculus of self-stabilising computational fields
M Viroli, F Damiani
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
482014
Engineering collective intelligence at the edge with aggregate processes
R Casadei, M Viroli, G Audrito, D Pianini, F Damiani
Engineering Applications of Artificial Intelligence 97, 104081, 2021
432021
Self-adaptation to device distribution in the Internet of Things
J Beal, M Viroli, D Pianini, F Damiani
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 12 (3), 1-29, 2017
432017
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20