Recently modified Papers

 

An Eclipse-based IDE for Featherweight Java implemented in Xtext
Lorenzo Bettini
Proc. ECLIPSE-IT. pages 14-28. ISBN: 9788890438813. 2010.
Abstract   Bibtex   url   pdf   

 

Klava: a Java Package for Distributed and Mobile Applications
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
Software - Practice and Experience. pages 1365-1394. volume 32. number 14. Publisher: John Wiley & Sons. 2002.
Abstract   Bibtex   gz   

 

Software Update via Mobile Agent Based Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems. pages 32-36. Publisher: ACM Press. 2002.
Abstract   Bibtex   gz   

 

Mobile Applications in X-KLAIM
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of WOA 2000. A. Corradi, A. Omicini, A. Poggi (Eds.). pages 1-6. 2000.
Abstract   Bibtex   gz   

 

Interactive Mobile Agents in X-Klaim
Lorenzo Bettini, Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese
Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98). pages 110-115. Publisher: IEEE Computer Society. 1998.
Abstract   Bibtex   gz   

 

 

A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
Lorenzo Bettini, Rocco De Nicola
Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. N. Guelfi, E. Astesiano, G. Reggio (Eds.). pages 175-184. number 2604. Publisher: Springer. Series: LNCS. 2003.
Abstract   Bibtex   gz   

 

Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations
Lorenzo Bettini
Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica. Publisher: Dipartimento di Matematica, Università di Siena. 2003.
Abstract   Bibtex   gz   

 

Formulae meet Programs over the Net: a Framework for Correct Network Aware Programming
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
Automated Software Engineering: Special Issue on Distributed and Mobile Software Engineering. pages 245-288. volume 11. number 3. 2004.
Abstract   Bibtex   gz   

 

Data Privacy in Tuple Space Based Mobile Agent Systems
Lorenzo Bettini
2nd Int. Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo). R.Focardi and G.Zavattaro (Eds.). pages 3-16. volume 128. number 5. Publisher: Elsevier. Series: ENTCS. 2004.
Abstract   Bibtex   pdf   

 

Mobile Distributed Programming in X-Klaim
Lorenzo Bettini, Rocco De Nicola
Formal Methods for Mobile Computing, Advanced Lectures. M. Bernardo and A. Bogliolo (Eds.). pages 29-68. volume 3465. Publisher: Springer. Series: LNCS. 2005.
Abstract   Bibtex   gz   

 

Delta-oriented Programming of Software Product Lines
Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella
Proc. of Software Product Line Conference (SPLC 2010). pages 77-91. volume 6287. Publisher: Springer. Series: LNCS. 2010.
Abstract   Bibtex   pdf   

 

A Calculus for Boxes and Traits in a Java-Like Setting
Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann, Jan Schäfer
COORDINATION. Dave Clarke, Gul A. Agha (Eds.). pages 46-60. volume 6116. Publisher: Springer. Series: Lecture Notes in Computer Science. ISBN: 978-3-642-13413-5. 2010.
Abstract   Bibtex   pdf   

 

Compositional Type-Checking of Delta-oriented Product Lines
Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani
22nd Nordic Workshop on Programming Theory - NWPT. 2010.
Abstract   Bibtex   pdf   

 

A Prototypical Java-like Language with Records and Traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
Proc. of PPPJ, Principles and Practice of Programming in Java. pages 2096-2102. Publisher: ACM. 2010.
Abstract   Bibtex   pdf   

 

Implementing software product lines using traits
Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer
Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010). Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Cheng Hung (Eds.). pages 2096-2102. Publisher: ACM. 2010.
Abstract   Bibtex   pdf   

 

 

 

Timed Buffers: A Technique For Update Propagation In Nomadic Environments
Lorenzo Bettini
Computer Communications. pages 3209-3222. number 31. Publisher: Elsevier. 2008.
Abstract   Bibtex   url   pdf   

 

A safe implementation of dynamic overloading in Java-like languages
Lorenzo Bettini, Sara Capecchi, Betti Venneri
Proc. of 3rd International Conference on Fundamentals of Software Engineering (FSEN'09) . pages 455-462. volume 5961. Publisher: Springer. Series: LNCS. 2009.
Abstract   Bibtex   pdf   

 

<< previous | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 next >>