Interactive Mobile Agents in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese; Gian-Luigi Ferrari 002 (WETICE, 1998)

Structured Nets in KLAIM. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (SAC (1), 2000)

Mobile Applications in X-KLAIM. - Lorenzo Bettini; Rocco De Nicola; Gian-Luigi Ferrari 002; Rosario Pugliese (WOA, 2000)

Translating Strong Mobility into Weak Mobility. - Lorenzo Bettini; Rocco De Nicola (Mobile Agents, 2001)

Towards Object-Oriented Klaim. - Lorenzo Bettini; Viviana Bono; Betti Venneri (TOSCA, 2001)

Modelling Node Connectivity in Dynamically Evolving Networks. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (ConCoord, 2001)

XKlaim and Klava: Programming Mobile Code. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese (TOSCA, 2001)

Coordinating Mobile Object-Oriented Code. - Lorenzo Bettini; Viviana Bono; Betti Venneri (COORDINATION, 2002)

Formalizing Properties of Mobile Agent Systems. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2002)

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. - Lorenzo Bettini; Rocco De Nicola (FIDJI, 2002)

An infrastructure language for open nets. - Lorenzo Bettini; Michele Loreti; Rosario Pugliese (SAC, 2002)

Software update via mobile agent based programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (SAC, 2002)

Klava: a Java package for distributed and mobile applications. - Lorenzo Bettini; Rocco De Nicola; Rosario Pugliese (Softw. Pract. Exp., 2002)

A Java Package for Class and Mixin Mobility in a Distributed Setting. - Lorenzo Bettini (FIDJI, 2003)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Extending Java to dynamic object behaviors. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (WOOD, 2003)

O'Klaim: A Coordination Language with Mobile Mixins. - Lorenzo Bettini; Viviana Bono; Betti Venneri (COORDINATION, 2004)

A Java Package for Transparent Code Mobility. - Lorenzo Bettini (FIDJI, 2004)

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Luís M. B. Lopes; Licínio Oliveira; Hervé Paulino; Vasco Thudichum Vasconcelos (Global Computing, 2004)

An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses. - Lorenzo Bettini; Pilu Crescenzi; Gaia Innocenti; Michele Loreti; Leonardo Cecchi (ICALT, 2004)

Subtyping-Inheritance Conflicts: The Mobile Mixin Case. - Lorenzo Bettini; Viviana Bono; Betti Venneri (IFIP TCS, 2004)

A core calculus of mixins and incomplete objects. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (OOPSLA Companion, 2004)

A core calculus of higher-order mixins and classes. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (SAC, 2004)

Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Autom. Softw. Eng., 2004)

Data Privacy in Tuple Space Based Mobile Agent Systems. - Lorenzo Bettini (SecCo, 2004)

Translating Double Dispatch into Single Dispatch. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (WOOD, 2004)

A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti (DAIS, 2005)

Safe Object Composition in the Presence of Subtyping. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (ICTCS, 2005)

Safe and flexible objects. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (SAC, 2005)

Mobile Distributed Programming in X-Klaim. - Lorenzo Bettini; Rocco De Nicola (SFM, 2005)

MOMI: a calculus for mobile mixins. - Lorenzo Bettini; Betti Venneri; Viviana Bono (Acta Informatica, 2005)

Safe and Flexible Objects with Subtyping. - Lorenzo Bettini; Viviana Bono; Silvia Likavec (J. Object Technol., 2005)

Implementing a Distributed Mobile Calculus Using the IMC Framework. - Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Michele Loreti (CoOrg/MTCoord@COORDINATION, 2006)

Implementing Mobile and Distributed Applications in X-Klaim. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (Scalable Comput. Pract. Exp., 2006)

Double dispatch in C++. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (Softw. Pract. Exp., 2006)

Featherweight Java with multi-methods. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (PPPJ, 2007)

Featherweight wrap Java. - Lorenzo Bettini; Sara Capecchi; Elena Giachino (SAC, 2007)

Session and Union Types for Object Oriented Programming. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Concurrency, Graphs and Models, 2008)

Global Progress in Dynamically Interleaved Multiparty Sessions. - Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (CONCUR, 2008)

Implementing Session Centered Calculi. - Lorenzo Bettini; Rocco De Nicola; Michele Loreti (COORDINATION, 2008)

Type safe dynamic object delegation in class-based languages. - Lorenzo Bettini; Viviana Bono (PPPJ, 2008)

A trait based re-engineering technique for Java hierarchies. - Lorenzo Bettini; Viviana Bono; Marco Naddeo (PPPJ, 2008)

Object Incompleteness and Dynamic Composition in Java-Like Languages. - Lorenzo Bettini; Viviana Bono; Betti Venneri (TOOLS (46), 2008)

Timed buffers: A technique for update propagation in nomadic environments. - Lorenzo Bettini (Comput. Commun., 2008)

Featherweight Wrap Java: wrapping objects and methods. - Lorenzo Bettini; Sara Capecchi; Elena Giachino (J. Object Technol., 2008)

A typed lambda calculus with intersection types. - Viviana Bono; Betti Venneri; Lorenzo Bettini (Theor. Comput. Sci., 2008)

A mechanism for flexible dynamic trait replacement. - Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani (FTfJP@ECOOP, 2009)

A Safe Implementation of Dynamic Overloading in Java-Like Languages. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (FSEN, 2009)

Reverse Generics - Parametrization after the Fact. - Alexandre Bergel; Lorenzo Bettini (ICSOFT (1), 2009)

I-Java: An Extension of Java with Incomplete Objects and Object Composition. - Lorenzo Bettini; Viviana Bono; Erica Turin (SC@TOOLS, 2009)

Dynamic overloading with copy semantics in object-oriented languages: a formal account. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (RAIRO Theor. Informatics Appl., 2009)

Featherweight Java with dynamic and static overloading. - Lorenzo Bettini; Sara Capecchi; Betti Venneri (Sci. Comput. Program., 2009)

A Calculus for Boxes and Traits in a Java-Like Setting. - Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schäfer 002 (COORDINATION, 2010)

A prototypical Java-like language with records and traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (PPPJ, 2010)

Implementing software product lines using traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (SAC, 2010)

Delta-Oriented Programming of Software Product Lines. - Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella (SPLC, 2010)

Compositional type-checking for delta-oriented programming. - Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani (AOSD, 2011)

A DSL for writing type systems for Xtext languages. - Lorenzo Bettini (PPPJ, 2011)

Object reuse and behavior adaptation in Java-like languages. - Lorenzo Bettini; Betti Venneri (PPPJ, 2011)

Delegation by object composition. - Lorenzo Bettini; Viviana Bono; Betti Venneri (Sci. Comput. Program., 2011)

Generics and Reverse Generics for Pharo. - Alexandre Bergel; Lorenzo Bettini (ICSOFT, 2012)

EMF Components - Filling the Gap between Models and UI. - Lorenzo Bettini (ICSOFT, 2012)

Approaches and Tools for Implementing Type Systems in Xtext. - Lorenzo Bettini; Dietmar Stoll; Markus Völter; Serano Colameo (SLE, 2012)

Software diversity: state of the art and perspectives. - Ina Schaefer; Rick Rabiser; Dave Clarke 001; Lorenzo Bettini; David Benavides 001; Goetz Botterweck; Animesh Pathak; Salvador Trujillo; Karina Villela (Int. J. Softw. Tools Technol. Transf., 2012)

Pure trait-based programming on the Java platform. - Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2013)

Implementing Java-like languages in Xtext with Xsemantics. - Lorenzo Bettini (SAC, 2013)

Artifact evaluation (summary). - Alexandre Bergel; Lorenzo Bettini (ESEC/SIGSOFT FSE, 2013)

Compositional type checking of delta-oriented software product lines. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (Acta Informatica, 2013)

Deriving session and union types for objects. - Lorenzo Bettini; Sara Capecchi; Mariangiola Dezani-Ciancaglini; Elena Giachino; Betti Venneri (Math. Struct. Comput. Sci., 2013)

On flexible dynamic trait replacement for Java-like languages. - Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani (Sci. Comput. Program., 2013)

Combining traits with boxes and ownership types in a Java-like setting. - Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer 002 (Sci. Comput. Program., 2013)

TraitRecordJ: A programming language with traits and records. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco (Sci. Comput. Program., 2013)

Developing User Interfaces with EMF Parsley. - Lorenzo Bettini (ICSOFT PT, 2014)

Generic traits for the Java platform. - Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2014)

DeltaJ 1.5: delta-oriented programming for Java 1.5. - Jonathan Koscielny; Sönke Holthusen; Ina Schaefer; Sandro Schulze; Lorenzo Bettini; Ferruccio Damiani (PPPJ, 2014)

Java–Meets Eclipse - An IDE for Teaching Java Following the Object-later Approach. - Lorenzo Bettini; Pierluigi Crescenzi (ICSOFT-PT, 2015)

An Eclipse IDE for Teaching Java-. - Lorenzo Bettini; Pierluigi Crescenzi (ICSOFT (Selected Papers), 2015)

Implementing type-safe software product lines using parametric traits. - Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer (Sci. Comput. Program., 2015)

The EMF Parsley DSL for Developing EMF Applications. - Lorenzo Bettini (MODELSWARD, 2016)

Jbase: embedding Java expressions in Xtext DSLs. - Lorenzo Bettini (PPPJ, 2016)

VDML4RS: a tool for reputation systems modeling and design. - Lorenzo Bettini; Sara Capecchi (SSE@SIGSOFT FSE, 2016)

Implementing type systems for the IDE with Xsemantics. - Lorenzo Bettini (J. Log. Algebraic Methods Program., 2016)

Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (MoDELS (Satellite Events), 2017)

Xtraitj: Traits for the Java platform. - Lorenzo Bettini; Ferruccio Damiani (J. Syst. Softw., 2017)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Betti Venneri (CoRR, 2018)

Java & Lambda: a Featherweight Story. - Lorenzo Bettini; Viviana Bono; Mariangiola Dezani-Ciancaglini; Paola Giannini; Betti Venneri (Log. Methods Comput. Sci., 2018)

X-Klaim Is Back. - Lorenzo Bettini; Emanuela Merelli; Francesco Tiezzi 001 (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Quality-Driven Detection and Resolution of Metamodel Smells. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (IEEE Access, 2019)

Type errors for the IDE with Xtext and Xsemantics. - Lorenzo Bettini (Open Comput. Sci., 2019)

Writing Robotics Applications with X-Klaim. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (2), 2020)

Edelta 2.0: supporting live metamodel evolutions. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (MoDELS (Companion), 2020)

Detecting Metamodel Evolutions in Repositories of Model-Driven Projects. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (J. Object Technol., 2020)

Addressing the trade off between smells and quality when refactoring class diagrams. - Angela Barriga; Lorenzo Bettini; Ludovico Iovino; Adrian Rutle; Rogardt Heldal (J. Object Technol., 2021)

Programming Multi-robot Systems with X-KLAIM. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (ISoLA (3), 2022)

An executable metamodel refactoring catalog. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (Softw. Syst. Model., 2022)

Supporting safe metamodel evolution with edelta. - Lorenzo Bettini; Davide Di Ruscio; Ludovico Iovino; Alfonso Pierantonio (Int. J. Softw. Tools Technol. Transf., 2022)

A Java Testing Framework Without Reflection. - Lorenzo Bettini (ICSOFT, 2023)

Coordinating and programming multiple ROS-based robots with X-KLAIM. - Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Klaim in the Making. - Lorenzo Bettini; Gian-Luigi Ferrari 002; Michele Loreti; Rosario Pugliese; Francesco Tiezzi 001; Emilio Tuosto (ISoLA (1), 2024)

Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. - Khalid Bourr; Francesco Tiezzi 001; Lorenzo Bettini (ISoLA (2), 2024)

Keeping clients' models up-to-date with Edelta. - Lorenzo Bettini; Davide Di Ruscio; Amleto Di Salle; Ludovico Iovino; Alfonso Pierantonio (MoDELS (Companion), 2024)

Single-Sourcing for Desktop and Web Applications with EMF Parsley. - Lorenzo Bettini (MODELSWARD, 2024)

Supporting reusable model migration with Edelta. - Lorenzo Bettini; Amleto Di Salle; Ludovico Iovino; Alfonso Pierantonio (J. Syst. Softw., 2024)

On Policies for Bartering Access to Resources. - Lorenzo Bettini; Rosario Pugliese; Francesco Tiezzi 001 (ITASEC/SERICS, 2025)