Approaches and Tools for Implementing Type Systems in Xtext
Lorenzo Bettini, Dietmar Stoll, Markus Völter, Serano Colameo
Software Language Engineering. pages 392-412. volume 7745. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-364236088-6. 2012.
Abstract   Bibtex   url   pdf   

Context Aware Specification and Verification of Distributed Systems
Liliana D'Errico, Michele Loreti
TGC. Roberto Bruni, Vladimiro Sassone (Eds.). pages 142-159. volume 7173. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-30064-6. 2011.
Bibtex   

Modeling adaptation with a tuple-based coordination language
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
SAC. Sascha Ossowski, Paola Lecca (Eds.). pages 1522-1527. Publisher: ACM. ISBN: 978-1-4503-0857-1. 2012.
Bibtex   

A Language-Based Approach to Autonomic Computing
Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese
FMCO. Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.). pages 25-48. volume 7542. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-35886-9. ISBN: 978-3-642-35887-6. 2011.
Bibtex   

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Marco Bernardo, Rocco De Nicola, Michele Loreti
Inf. Comput.. pages 29-82. volume 225. 2013.
Bibtex   

Towards a Formal Verification Methodology for Collective Robotic Systems
Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo
ICFEM. Toshiaki Aoki, Kenji Taguchi (Eds.). pages 54-70. volume 7635. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-34280-6. 2012.
Bibtex   

On Flexible Dynamic Trait Replacement for Java-like Languages
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
Science of Computer Programming. 2012. To appear.
Abstract   Bibtex   url   

Combining traits with boxes and ownership types in a Java-like setting
Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann, Jan Schäfer
Science of Computer Programming. pages 218–247. volume 78. number 2. 2013.
Abstract   Bibtex   url   

Compositional Type Checking of Delta-Oriented Software Product Lines
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Acta Informatica. Publisher: Springer. 2012. To Appear.
Abstract   Bibtex   

A Java Package for Transparent Code Mobility
Lorenzo Bettini
FIDJI 2004, Int. Workshop on scientific engineering of distributed Java applications. N.Guelfi and G.Reggio and A.Romanovsky (Eds.). pages 112-122. volume 3409. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   ps   

Extending Java to dynamic object behaviors
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc of WOOD 2003. pages 33-52. volume 82. number 8. Series: ENTCS. 2003.
Abstract   Bibtex   pdf   

X-Klaim and Klava: Programming Mobile Code
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
TOSCA 2001. M. Lenisa, M. Miculan (Eds.). pages 24-37. volume 62. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

Modelling Node Connectivity in Dynamically Evolving Networks
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
ConCoord International Workshop on Concurrency and Coordination. volume 54. Publisher: Elsevier. Series: ENTCS. 2002.
Abstract   Bibtex   gz   

EMF Components - Filling the Gap between Models and UI
Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 34-43. Publisher: SciTePress. ISBN: 978-989-8565-19-8. 2012.
Abstract   Bibtex   

Generics and Reverse Generics for Pharo
Alexandre Bergel, Lorenzo Bettini
ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. Slimane Hammoudi, Marten van Sinderen, José Cordeiro (Eds.). pages 363-372. Publisher: SciTePress. 2012. Best Paper Award.
Abstract   Bibtex   

Software diversity: state of the art and perspectives
Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
International Journal on Software Tools for Technology Transfer. pages 477-495. volume 14. Publisher: Springer-Verlag. 2012.
Bibtex   url   

Property-Preserving Refinement of Concurrent Systems
Liliana D'Errico, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 222-236. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex   

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes
Marco Bernardo, Rocco De Nicola, Michele Loreti
TGC. Martin Wirsing, Martin Hofmann, Axel Rauschmayer (Eds.). pages 35-56. volume 6084. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-15639-7. 2010.
Bibtex   

SoSL: A Service-Oriented Stochastic Logic
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 447-466. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex   

Quantitative Analysis of Services
Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo
Results of the SENSORIA Project. Martin Wirsing, Matthias M. Hölzl (Eds.). pages 522-540. volume 6582. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-20400-5. 2011.
Bibtex