Seguir
Lorenzo Bettini
Lorenzo Bettini
Associate Professor in Computer Science, Dipartimento di Statistica, Informatica e Applicazioni
Dirección de correo verificada de unifi.it - Página principal
Título
Citado por
Citado por
Año
Implementing domain-specific languages with Xtext and Xtend
L Bettini
Packt Publishing Ltd, 2016
6862016
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
Global progress in dynamically interleaved multiparty sessions
L Bettini, M Coppo, L D’Antoni, M De Luca, M Dezani-Ciancaglini, ...
International Conference on Concurrency Theory, 418-433, 2008
2402008
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, 477-495, 2012
1962012
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
Global Computing. Programming Environments, Languages, Security, and …, 2003
1492003
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
1172002
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
851998
Translating strong mobility into weak mobility
L Bettini, R De Nicola
International Conference on Mobile Agents, 182-197, 2001
802001
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
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
742011
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
542013
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
492002
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
432002
Quality-driven detection and resolution of metamodel smells
L Bettini, D Di Ruscio, L Iovino, A Pierantonio
IEEE Access 7, 16364-16376, 2019
372019
X-Klaim and Klava: Programming mobile code
L Bettini, R De Nicola, R Pugliese
Electronic Notes in Theoretical Computer Science 62, 24-37, 2002
342002
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
342002
A Java middleware for guaranteeing privacy of distributed tuple spaces
L Bettini, R De Nicola
International Workshop on Scientific Engineering of Distributed Java …, 2002
282002
TraitRecordJ: A programming language with traits and records
L Bettini, F Damiani, I Schaefer, F Strocco
Science of Computer Programming 78 (5), 521-541, 2013
272013
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
272008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20