Lorenzo Bettini
Lorenzo Bettini
Associate Professor in Computer Science, Dipartimento di Statistica, Informatica e Applicazioni
Bestätigte E-Mail-Adresse bei unifi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Implementing domain-specific languages with Xtext and Xtend
L Bettini
Packt Publishing Ltd, 2016
4382016
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
4012010
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
2192008
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
1432012
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
1352003
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
1112002
Translating strong mobility into weak mobility
L Bettini, R De Nicola
International Conference on Mobile Agents, 182-197, 2001
772001
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
771998
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
662011
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
532014
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
492013
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
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
372002
Coordinating mobile object-oriented code
L Bettini, V Bono, B Venneri
International Conference on Coordination Languages and Models, 56-71, 2002
342002
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
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
A typed lambda calculus with intersection types
V Bono, B Venneri, L Bettini
Theoretical Computer Science 398 (1-3), 95-113, 2008
252008
Double dispatch in C++
L Bettini, S Capecchi, B Venneri
Software: Practice and Experience 36 (6), 581-613, 2006
252006
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
252003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20