Follow
Lorenzo Bettini
Lorenzo Bettini
Associate Professor in Computer Science, Dipartimento di Statistica, Informatica e Applicazioni
Verified email at unifi.it - Homepage
Title
Cited by
Cited by
Year
Implementing domain-specific languages with Xtext and Xtend
L Bettini
Packt Publishing Ltd, 2016
5712016
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
4622010
Global progress in dynamically interleaved multiparty sessions
L Bettini, M Coppo, L D’Antoni, MD Luca, M Dezani-Ciancaglini, ...
International Conference on Concurrency Theory, 418-433, 2008
2272008
Software diversity: state of the art and perspectives
I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ...
International Journal on Software Tools for Technology Transfer 14 (5), 477-495, 2012
1802012
The klaim project: Theory and practice
L Bettini, V Bono, RD Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
International Workshop on Global Computing, 88-150, 2003
1412003
Klava: a Java package for distributed and mobile applications
L Bettini, R De Nicola, R Pugliese
Software: Practice and Experience 32 (14), 1365-1394, 2002
1182002
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
801998
Translating strong mobility into weak mobility
L Bettini, RD Nicola
International Conference on Mobile Agents, 182-197, 2001
792001
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
722011
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
652014
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
532013
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
An infrastructure language for open nets
L Bettini, M Loreti, R Pugliese
Proceedings of the 2002 acm symposium on applied computing, 373-377, 2002
462002
Software update via mobile agent based programming
L Bettini, R De Nicola, M Loreti
Proceedings of the 2002 ACM symposium on Applied computing, 32-36, 2002
412002
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
332002
X-Klaim and Klava: Programming mobile code
L Bettini, R De Nicola, R Pugliese
Electronic Notes in Theoretical Computer Science 62, 24-37, 2002
322002
Quality-driven detection and resolution of metamodel smells
L Bettini, D Di Ruscio, L Iovino, A Pierantonio
IEEE Access 7, 16364-16376, 2019
292019
A Java middleware for guaranteeing privacy of distributed tuple spaces
L Bettini, RD Nicola
International Workshop on Scientific Engineering of Distributed Java …, 2002
282002
Delegation by object composition
L Bettini, V Bono, B Venneri
Science of Computer Programming 76 (11), 992-1014, 2011
262011
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
262008
The system can't perform the operation now. Try again later.
Articles 1–20