Ferruccio Damiani
Ferruccio Damiani
Associate Professor of Compurer Science, University of Torino
Verified email at di.unito.it - Homepage
Title
Cited by
Cited by
Year
Delta-oriented programming of software product lines
I Schaefer, L Bettini, V Bono, F Damiani, N Tanzarella
International Conference on Software Product Lines, 77-91, 2010
3852010
Fickle: Dynamic Object Re-classification
S Drossopoulou, F Damiani, M Dezani-Ciancaglini, P Giannini
European Conference on Object-Oriented Programming, 130-149, 2001
1252001
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
1092002
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
782005
Pure delta-oriented programming
I Schaefer, F Damiani
Proceedings of the 2nd International Workshop on Feature-Oriented Software …, 2010
702010
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
662011
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
542015
A calculus of computational fields
M Viroli, F Damiani, J Beal
European Conference on Service-Oriented and Cloud Computing, 114-128, 2013
542013
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
522014
Cloudaware: A context-adaptive middleware for mobile edge and cloud computing applications
G Orsini, D Bade, W Lamersdorf
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
49*2016
Implementing software product lines using traits
L Bettini, F Damiani, I Schaefer
Proceedings of the 2010 ACM Symposium on Applied Computing, 2096-2102, 2010
482010
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
472013
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
452015
A calculus of self-stabilising computational fields
M Viroli, F Damiani
International Conference on Coordination Languages and Models, 163-178, 2014
432014
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
412018
Dynamic delta-oriented programming
F Damiani, I Schaefer
Proceedings of the 15th International Software Product Line Conference …, 2011
412011
On traits and types in a Java-like setting
V Bono, F Damiani, E Giachino
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
392008
A type-sound calculus of computational fields
F Damiani, M Viroli, J Beal
Science of Computer Programming 117, 17-44, 2016
352016
Separating type, behavior, and state to achieve very fine-grained reuse
V Bono, F Damiani, E Giachino
9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, ---, 2007
302007
A transformational proof system for delta-oriented programming
F Damiani, O Owe, J Dovland, I Schaefer, EB Johnsen, IC Yu
Proceedings of the 16th International Software Product Line Conference …, 2012
292012
The system can't perform the operation now. Try again later.
Articles 1–20