Recently modified Papers

 

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   

 

A process Algebra Approach to Fuzzy Reasoning
Liliana D'Errico, Michele Loreti
IFSA/EUSFLAT Conf.. Jo\ ao Paulo Carvalho, Didier Dubois, Uzay Kaymak, Jo\ ao Miguel da Costa Sousa (Eds.). pages 1136-1141. 2009.
Bibtex   

 

On a Uniform Framework for the Definition of Stochastic Process Languages
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
FMICS. María Alpuente, Byron Cook, Christophe Joubert (Eds.). pages 9-25. volume 5825. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Design of a Password-based Authentication Method for Wireless Networks
Andrea Manganaro, Mingyur Koblensky, Michele Loreti
WINSYS. Mohammad S. Obaidat, Victor Peral Lecha, Rafael F. S. Caldeirinha (Eds.). pages 9-16. Publisher: INSTICC Press. 2007.
Bibtex   

 

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