Lorenzo Bettini
Lorenzo Bettini
Researcher of Computer Science, Dipartimento di Informatica, Università di Torino
Email verificata su di.unito.it
TitoloCitata daAnno
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
Implementing domain-specific languages with Xtext and Xtend
L Bettini
Packt Publishing Ltd, 2016
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
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
International Workshop on Global Computing, 88-150, 2003
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
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
Translating strong mobility into weak mobility
L Bettini, R De Nicola
International Conference on Mobile Agents, 182-197, 2001
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
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
Implementing software product lines using traits
L Bettini, F Damiani, I Schaefer
Proceedings of the 2010 ACM Symposium on Applied Computing, 2096-2102, 2010
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
An infrastructure language for open nets
L Bettini, M Loreti, R Pugliese
Proceedings of the 2002 ACM symposium on Applied computing, 373-377, 2002
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
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
X-Klaim and Klava: Programming mobile code
L Bettini, R De Nicola, R Pugliese
Electronic Notes in Theoretical Computer Science 62, 24-37, 2002
A Java middleware for guaranteeing privacy of distributed tuple spaces
L Bettini, R De Nicola
International Workshop on Scientific Engineering of Distributed Java …, 2002
Linguistic constructs for object-oriented mobile code programming & their implementations
L Bettini
PhD thesis, Dip. di Matematica, Universita di Siena, 2003. Available at http …, 2003
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
Mobile Distributed Programming in X-Klaim
L Bettini, R De Nicola
School on Formal Methods-Moby, 29-68, 2005
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20