Segui
Lorenzo Bettini
Lorenzo Bettini
Associate Professor in Computer Science, Dipartimento di Statistica, Informatica e Applicazioni
Email verificata su unifi.it - Home page
Titolo
Citata da
Citata da
Anno
Implementing domain-specific languages with Xtext and Xtend
L Bettini
Packt Publishing Ltd, 2016
7392016
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
5302010
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
2502008
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
2062012
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
1532003
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
1222002
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
861998
Translating strong mobility into weak mobility
L Bettini, R De Nicola
International Conference on Mobile Agents, 182-197, 2001
822001
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
792014
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
772011
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
552013
Implementing software product lines using traits
L Bettini, F Damiani, I Schaefer
Proceedings of the 2010 ACM Symposium on Applied Computing, 2096-2102, 2010
512010
An infrastructure language for open nets
L Bettini, M Loreti, R Pugliese
Proceedings of the 2002 ACM symposium on Applied computing, 373-377, 2002
512002
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
442002
Quality-driven detection and resolution of metamodel smells
L Bettini, D Di Ruscio, L Iovino, A Pierantonio
IEEE Access 7, 16364-16376, 2019
382019
X-Klaim and Klava: Programming mobile code
L Bettini, R De Nicola, R Pugliese
Electronic Notes in Theoretical Computer Science 62, 24-37, 2002
352002
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
352002
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
322008
A Java middleware for guaranteeing privacy of distributed tuple spaces
L Bettini, R De Nicola
International Workshop on Scientific Engineering of Distributed Java …, 2002
302002
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
282013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20