Lorenzo Bettini

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer: Compositional type checking of delta-oriented software product lines. Acta Inf. 50(2): 77-122 (2013)

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

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

Lorenzo Bettini: Implementing Java-like languages in Xtext with Xsemantics. SAC 2013: 1559-1564

Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela: Software diversity: state of the art and perspectives. STTT 14(5): 477-495 (2012)

Lorenzo Bettini: EMF Components - Filling the Gap between Models and UI. ICSOFT 2012: 34-43

Alexandre Bergel, Lorenzo Bettini: Generics and Reverse Generics for Pharo. ICSOFT 2012: 363-372

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

Lorenzo Bettini, Viviana Bono, Betti Venneri: Delegation by object composition. Sci. Comput. Program. 76(11): 992-1014 (2011)

Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani: Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56

Lorenzo Bettini: A DSL for writing type systems for Xtext languages. PPPJ 2011: 31-40

Lorenzo Bettini, Betti Venneri: Object reuse and behavior adaptation in Java-like languages. PPPJ 2011: 111-120

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

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco: A prototypical Java-like language with records and traits. PPPJ 2010: 129-138

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer: Implementing software product lines using traits. SAC 2010: 2096-2102

Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella: Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Dynamic overloading with copy semantics in object-oriented languages: a formal account. ITA 43(3): 517-565 (2009)

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with dynamic and static overloading. Sci. Comput. Program. 74(5-6): 261-278 (2009)

Lorenzo Bettini, Sara Capecchi, Betti Venneri: A Safe Implementation of Dynamic Overloading in Java-Like Languages. FSEN 2009: 455-462

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

Lorenzo Bettini, Viviana Bono, Erica Turin: I-Java: An Extension of Java with Incomplete Objects and Object Composition. Software Composition 2009: 27-44

Lorenzo Bettini: Timed buffers: A technique for update propagation in nomadic environments. Computer Communications 31(14): 3209-3222 (2008)

Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight Wrap Java: wrapping objects and methods. Journal of Object Technology 7(2): 5-29 (2008)

Viviana Bono, Betti Venneri, Lorenzo Bettini: A typed lambda calculus with intersection types. Theor. Comput. Sci. 398(1-3): 95-113 (2008)

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

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

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Session Centered Calculi. COORDINATION 2008: 17-32

Lorenzo Bettini, Viviana Bono, Marco Naddeo: A trait based re-engineering technique for Java hierarchies. PPPJ 2008: 149-158

Lorenzo Bettini, Viviana Bono: Type safe dynamic object delegation in class-based languages. PPPJ 2008: 171-180

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

Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti: Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007)

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Featherweight Java with multi-methods. PPPJ 2007: 83-92

Lorenzo Bettini, Sara Capecchi, Elena Giachino: Featherweight wrap Java. SAC 2007: 1094-1100

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4) (2006)

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Double dispatch in C++. Softw., Pract. Exper. 36(6): 581-613 (2006)

Lorenzo Bettini, Betti Venneri, Viviana Bono: MOMI: a calculus for mobile mixins. Acta Inf. 42(2-3): 143-190 (2005)

Lorenzo Bettini: Data Privacy in Tuple Space Based Mobile Agent Systems. Electr. Notes Theor. Comput. Sci. 128(5): 3-16 (2005)

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Translating Double Dispatch into Single Dispatch. Electr. Notes Theor. Comput. Sci. 138(2): 59-78 (2005)

Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and Flexible Objects with Subtyping. Journal of Object Technology 4(10): 5-29 (2005)

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

Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe Object Composition in the Presence of Subtyping. ICTCS 2005: 128-142

Lorenzo Bettini, Viviana Bono, Silvia Likavec: Safe and flexible objects. SAC 2005: 1258-1263

Lorenzo Bettini, Rocco De Nicola: Mobile Distributed Programming in X-Klaim. SFM 2005: 29-68

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

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

Lorenzo Bettini: A Java Package for Transparent Code Mobility. FIDJI 2004: 112-122

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

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

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

Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of mixins and incomplete objects. OOPSLA Companion 2004: 208-209

Lorenzo Bettini, Viviana Bono, Silvia Likavec: A core calculus of higher-order mixins and classes. SAC 2004: 1508-1509

Lorenzo Bettini, Sara Capecchi, Betti Venneri: Extending Java to dynamic object behaviors. Electr. Notes Theor. Comput. Sci. 82(7): 33-52 (2003)

Lorenzo Bettini: A Java Package for Class and Mixin Mobility in a Distributed Setting. FIDJI 2003: 12-22

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

Lorenzo Bettini, Viviana Bono, Silvia Likavec: A Core Calculus of Higher-Order Mixins and Classes. TYPES 2003: 83-98

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: Klava: a Java package for distributed and mobile applications. Softw., Pract. Exper. 32(14): 1365-1394 (2002)

Lorenzo Bettini, Viviana Bono, Betti Venneri: Coordinating Mobile Object-Oriented Code. COORDINATION 2002: 56-71

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Formalizing Properties of Mobile Agent Systems. COORDINATION 2002: 72-87

Lorenzo Bettini, Rocco De Nicola: A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. FIDJI 2002: 175-184

Lorenzo Bettini, Rocco De Nicola, Michele Loreti: Software update via mobile agent based programming. SAC 2002: 32-36

Lorenzo Bettini, Michele Loreti, Rosario Pugliese: An infrastructure language for open nets. SAC 2002: 373-377

Lorenzo Bettini, Michele Loreti, Rosario Pugliese: Modelling Node Connectivity in Dynamically Evolving Networks. Electr. Notes Theor. Comput. Sci. 54: 81-91 (2001)

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese: XKlaim and Klava: Programming Mobile Code. Electr. Notes Theor. Comput. Sci. 62: 24-37 (2001)

Lorenzo Bettini, Viviana Bono, Betti Venneri: Towards Object-Oriented Klaim. Electr. Notes Theor. Comput. Sci. 62: 38-51 (2001)

Lorenzo Bettini, Rocco De Nicola: Translating Strong Mobility into Weak Mobility. Mobile Agents 2001: 182-197

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

Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese: Mobile Applications in X-KLAIM. WOA 2000: 1-6

Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari: Interactive Mobile Agents in X-Klaim. WETICE 1998: 110-117