Articles with public access mandates - Lorenzo BettiniLearn more
Not available anywhere: 4
Writing Robotics Applications with X-Klaim
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 361-379, 2020
Mandates: Government of Italy
Pure trait-based programming on the Java platform
L Bettini, F Damiani
Proceedings of the 2013 International Conference on Principles and Practices …, 2013
Mandates: Government of Italy
Programming multi-robot systems with X-KLAIM
L Bettini, K Bourr, R Pugliese, F Tiezzi
International Symposium on Leveraging Applications of Formal Methods, 283-300, 2022
Mandates: Government of Italy
An eclipse IDE for teaching Java–
L Bettini, P Crescenzi
International Conference on Software Technologies, 63-78, 2015
Mandates: Government of Italy
Available somewhere: 20
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation, Science Foundation Ireland, Government of Spain
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
Mandates: German Research Foundation, European Commission, Government of Italy
Compositional type-checking for delta-oriented programming
I Schaefer, L Bettini, F Damiani
Proceedings of the tenth international conference on Aspect-oriented …, 2011
Mandates: German Research Foundation
Compositional type checking of delta-oriented software product lines
L Bettini, F Damiani, I Schaefer
Acta Informatica 50 (2), 77-122, 2013
Mandates: German Research Foundation
Implementing software product lines using traits
L Bettini, F Damiani, I Schaefer
Proceedings of the 2010 ACM Symposium on Applied Computing, 2096-2102, 2010
Mandates: German Research Foundation
Quality-driven detection and resolution of metamodel smells
L Bettini, D Di Ruscio, L Iovino, A Pierantonio
IEEE Access 7, 16364-16376, 2019
Mandates: European Commission
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
Mandates: German Research Foundation
Java & lambda: a featherweight story
L Bettini, V Bono, M Dezani-Ciancaglini, P Giannini, B Venneri
Logical Methods in Computer Science 14, 2018
Mandates: European Commission
Implementing type-safe software product lines using parametric traits
L Bettini, F Damiani, I Schaefer
Science of Computer Programming 97, 282-308, 2015
Mandates: German Research Foundation, European Commission, Government of Italy
A prototypical Java-like language with records and traits
L Bettini, F Damiani, I Schaefer, F Strocco
Proceedings of the 8th International Conference on the Principles and …, 2010
Mandates: German Research Foundation
XTRAITJ: Traits for the Java platform
L Bettini, F Damiani
Journal of Systems and Software 131, 419-441, 2017
Mandates: European Commission
Implementing type systems for the IDE with Xsemantics
L Bettini
Journal of Logical and Algebraic Methods in Programming 85 (5), 655-680, 2016
Mandates: European Commission, Government of Italy
Java-meets eclipse: An IDE for teaching Java following the object-later approach
L Bettini, P Crescenzi
2015 10th International Joint Conference on Software Technologies (ICSOFT) 2 …, 2015
Mandates: European Commission, Government of Italy
Deriving session and union types for objects
L Bettini, S Capecchi, M Dezani-Ciancaglini, E Giachino, B Venneri
Mathematical Structures in Computer Science 23 (6), 1163-1219, 2013
Mandates: Government of Italy
Implementing SPL using Traits
L Bettini, F Damiani, I Schaefer
Technical report, Dipartimento di Informatica, Universita di Torino, 2009 …, 2009
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program