Recently added Papers

 

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   

 

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   

 

The ``Relevance'' of Intersection and Union Types
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
Notre Dame Journal of Formal Logic. pages 246-269. volume 38. number 2. 1997.
Bibtex   pdf   

 

Provably Correct Implementations of Services
Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina, Roberto Bruni
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 69-86. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro
TGC 2008. Christos Kaklamanis, Flemming Nielson (Eds.). pages 52-68. volume 5474. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   

 

A Mechanisms for Flexible Dynamic Trait Replacement
Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani
FTfJP '09: Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. pages 1-7. Publisher: ACM Digital Library. 2009.
Abstract   Bibtex   pdf   

 

Rate-Based Transition Systems for Stochastic Process Calculi
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.). pages 435-446. volume 5556. Publisher: Springer. Series: Lecture Notes in Computer Science. 2009.
Bibtex   pdf   

 

MarCaSPiS: a Markovian Extension of a Calculus for Services
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
Electronic Notes in Theoretical Computer Science. M. Hennessy and B. Klin (Eds.). pages 11-26. volume 229. number 4. Publisher: Elsevier. 2009.
Bibtex   

 

 

I-Java: an extension of Java with incomplete objects and object composition
Lorenzo Bettini, Viviana Bono, Erica Turin
Proceedings of Software Composition. Alexandre Bergel, Johan Fabry (Eds.). pages 27-44. volume 5634. Publisher: Springer. Series: LNCS. 2009.
Abstract   Bibtex   pdf   

 

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