Papers

Last Update: 2005-05-10

NETWORK AWARE PROGRAMMING ::: COORDINATION MODELS ::: PROCESS CALCULI::: SECURITY::: PROPERTY VERIFICATION ::: OBJECT-ORIENTED PROGRAMMING ::: THESIS

NETWORK AWARE PROGRAMMING 

• Locality Based Linda: programming with explicit localities
  R. De Nicola, G. Ferrari, R. Pugliese. Proc. of Theory and Practice of Software Development (TAPSOFT'97), LNCS 1214 (M. Bidoit, M. Dauchet, Eds.), pp.712-726, Springer, 1997.
  abstract
• Klaim: a Kernel Language for Agents Interaction and Mobility
  R. De Nicola, G. Ferrari, R. Pugliese. IEEE Transactions on Software Engineering, 24(5):315-330, IEEE Computer Society, 1998.
  abstract    pdf
• Interactive Mobile Agents in X-Klaim
  L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Proc. of the 7th IEEE Int. Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'98), pp.110-115, IEEE Computer Society, 1998.
  abstract      gzipped-ps
• Structured Nets in Klaim
  L. Bettini, M. Loreti, R. Pugliese. Proc. of ACM SAC'2000, Special Track on Coordination Models, Languages and Applications, ACM Press, Como, March 2000. Vol. 1, pp. 174-180
  abstract      gzipped-ps       gzipped-ps (Full Paper)      PowerPoint slides (zipped)       Online Presentation
• Mobile Applications in X-KLAIM
  L. Bettini, R. De Nicola, G. Ferrari, R. Pugliese. Proc. of WOA 2000, pages 1-6, A. Corradi, A. Omicini, A. Poggi (Eds.), 2000.
  abstract      gzipped-ps      PowerPoint slides (zipped)       Online Presentation
• Modelling Node Connectivity in Dynamically Evolving Networks
  L. Bettini, M. Loreti, R. Pugliese. ConCoord International Workshop on Concurrency and Coordination, ENTCS, vol. 54, Elsevier, 2001
  abstract     gzipped-ps
• Translating Strong Mobility into Weak Mobility
  L. Bettini, R. De Nicola. Proc. of 5th IEEE Int. Conf. on Mobile Agents (MA), pages 182-197, LNCS 2240, 2001, G. Picco (Ed.), Springer.
  abstract      gzipped-ps
• An Infrastructure Language for Open Nets
  L. Bettini, M. Loreti, R. Pugliese. Proc. of SAC, Special Track on Coordination Models, Languages and Applications, pages 373-377, 2002, ACM.
  abstract      gzipped-ps     gzipped-ps (Draft)
• Klava: a Java Package for Distributed and Mobile Applications
  L. Bettini, R. De Nicola, R. Pugliese. Software - Practice and Experience, 32(14):1365-1394, John Wiley & Sons, 2002.
  abstract     gzipped-ps
• Global Programming and Mobile Code
  L. Bettini, G. Ferrari, R. Pugliese. Draft
  abstract     gzipped-ps
• Towards Object-Oriented Klaim
  L. Bettini, V. Bono, B. Venneri. TOSCA 2001, ENTCS, vol. 62, Elsevier, 2001
  abstract     gzipped-ps
• X-Klaim and Klava: Programming Mobile Code
  L. Bettini, R. De Nicola, R. Pugliese.  TOSCA 2001, ENTCS, vol. 62, Elsevier, 2001
  abstract     gzipped-ps
• Software Update via Mobile Agent Based Programming
  L. Bettini, R. De Nicola, M. Loreti.  Proc. of SAC, Special Track on Agents, Interactions, Mobility, and Systems, pages 32-36, 2002, ACM.
  abstract     gzipped-ps
• Coordinating Mobile Object-Oriented Code
  L. Bettini, V. Bono, B. Venneri. Proc. of Coordination 2002, pages 56-71, LNCS 2315, F. Arbab and C. Talcott (Eds.), 2002, Springer.
  abstract     gzipped-ps
• Formalizing Properties of Mobile Agent Systems
  L. Bettini, R. De Nicola, M. Loreti.  Proc. of Coordination 2002, pages 72-87, LNCS 2315, F. Arbab and C. Talcott (Eds.), 2002, Springer.
  abstract     gzipped-ps
• Foundational Calculi for Network Aware Programming
  G. Ferrari, R. Pugliese, E. Tuosto.  Draft.
  abstract     pdf
• Subtyping Mobile Classes and Mixins
  L. Bettini, V. Bono, B. Venneri.  Proc. of FOOL 2003. 
  abstract    gzipped-ps
• Mobile Distributed Programming in X-Klaim
  L. Bettini, R. De Nicola.  Formal Methods for Mobile Computing, Advanced Lectures. LNCS 3465, pages 29-68, M. Bernardo and A. Bogliolo (Eds.), 2005, Springer.
  abstract    gzipped-ps

COORDINATION MODELS  

• An Observational Semantics for Linda
  R. De Nicola, R. Pugliese. Proc. of the Int. Workshop on Structures in Concurrency Theory (J. Desel, Ed.), Series Workshops in Computing, pp.129-143, Springer, 1995.
  abstract
• A Process Algebra based on Linda
  R. De Nicola, R. Pugliese. Proc. of the First International Conference on Coordination Models and Languages (COORDINATION'96), Lectures Notes in Computer Science 1061 (P. Ciancarini, C. Hankin, Eds.), pp.160-178, Springer, 1996.
  abstract
• Testing Semantics of Asynchronous Distributed Programs
  R. De Nicola, R. Pugliese. Proc. of Analysis and Verification of Multiple--Agents Languages (LOMAPS'96), Lectures Notes in Computer Science 1192 (M. Dam, Ed.), pp.320-344, Springer, 1996.
  abstract
• Linda based Applicative and Imperative Process Algebras
  R. De Nicola, R. Pugliese. Theoretical Computer Science, 238(1-2):389-437, Elsevier Science, 2000. 
  abstract     gzipped-ps
• Proving the correctness of optimising destructive and non-destructive reads over tuple spaces
  (Extended Abstract) R. De Nicola, R. Pugliese, A. Rowstron. In Proc. of the Fourth International Conference on Coordination Models and Languages (COORDINATION'00), Lectures Notes in Computer Science 1906 (A. Porto, G.-C. Roman, Eds.), pp.66-80, Springer-Verlag, 2000. 
  abstract      gzipped-ps      extended abstract

PROCESS CALCULI 

• Asynchronous Observations of Processes
  M. Boreale, R. De Nicola, R. Pugliese. Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'98), Lectures Notes in Computer Science 1378 (M. Nivat, Ed.), pp.95-109, Springer, 1998.
  abstract
• Basic Observables for Processes - Extended Abstract
  M. Boreale, R. De Nicola, R. Pugliese. Proc. of International Colloquium on Automata, Languages and Programming (ICALP'97), Lectures Notes in Computer Science 1256 (P. Degano, R. Gorrieri, A. Marchetti-Spaccamela, Eds.), pp.482-492, Springer, 1997
  abstract
• Basic Observables for Processes
  M. Boreale, R. De Nicola, R. Pugliese. Information & Computation, 149(1):77-98, Academic Press, 1999.
  abstract
• Divergence in Testing and Readiness Semantics
  M. Boreale, R. De Nicola, R. Pugliese. Theoretical Computer Science, Elsevier Science. (to appear)
  abstract     gzipped-ps
• A Theory of ``May'' Testing for Asynchronous Languages
  M. Boreale, R. De Nicola, R. Pugliese. Proc. of Foundations of Software Science and Computation Ssructures (FoSSaCS'99), Lectures Notes in Computer Science 1578 (W. Thomas, Ed.), pp.165-179, Springer, 1999.
  abstract
• Trace and Testing Equivalence on Asynchronous Processes
  M. Boreale, R. De Nicola, R. Pugliese. DRAFT
  abstract      gzipped-ps

SECURITY

• Coordinating Mobile Agents via Blackboards and Access Rights
  R. De Nicola, G. Ferrari, R. Pugliese. Proc. of the 2nd Int. Conf. on Coordination Models and Languages (COORDINATION'97), LNCS 1282 (D. Garlan, D. Le Metayer, Eds.), pp.220-237, Springer, 1997.
  abstract
• Types for Access Control
  R. De Nicola, G. Ferrari, R. Pugliese, B. Venneri. Theoretical Computer Science, 240(1):215-254, Elsevier Science, 2000.
  abstract      gzipped-ps
• Types as Specifications of Access Policies
  R. De Nicola, G.-L. Ferrari, R. Pugliese. In Secure Internet Programming: Security Issues for Distributed and Mobile Objects (J. Vitek, C. Jensen, Eds.), LNCS 1603, pp.117-146, Springer, 1999.
  abstract      gzipped-ps
• Programming Access Control: The Klaim Experience
  R. De Nicola, G. Ferrari, R. Pugliese. In Proc. of the 11th International Conference on Concurrency Theory (CONCUR'00), Lectures Notes in Computer Science, Springer, 2000. (to appear)
  abstract      gzipped-ps
• Proof Techniques for Cryptographic Processes
  M. Boreale, R. De Nicola, R. Pugliese. In Proc. of the 14th IEEE Symposium Logic In Computer Science (LICS'99), pp.157-166, IEEE Computer Society Press, 1999. 
  abstract
• Proof Techniques for Cryptographic Processes (full version)
  M. Boreale, R. De Nicola, R. Pugliese. DRAFT
  abstract      gzipped-ps
• Process Algebraic Analysis of Cryptographic Protocols
  M. Boreale, R. De Nicola, R. Pugliese. In Proc. of of Formal Description Techniques (FORTE XIII) & Protocol Specification, Testing, and Verification (PSTV XX) (FORTE/PSTV'00), Kluwer, 2000. (To appear) 
  abstract      gzipped-ps
• On Compositional Reasoning in the Spi-Calculus
  M.Boreale, D.Gorla. FoSSaCS'02 Proceedings, M.Nielsen & H.U.Engberg Eds.
  LNCS 2303, pp. 67-81, Springer 2002
  pdf
• A Framework for the Analysis of Security Protocols
  M.Boreale and M.Buscemi. in Proc. of CONCUR '02, Springer, 2002
  gzipped-ps
• A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
  L. Bettini, R. De Nicola. Proc. of FIDJI'02, Int. Workshop on scientific engineering of distributed Java applications. number 2604 in LNCS, pag. 175-184. N. Guelfi, E. Astesiano, G. Reggio, Eds., Springer, 2003.
  abstract    gzipped-ps

PROPERTY VERIFICATION 

• Automatic Verification of a Hydroelectric Power Plant
  R. Pugliese, E. Tronci. In Proc. of the Int. Symposium on Industrial Benefit and Advances in Formal Methods (FME'96), Lecture Notes in Computer Science 1051 (M.-C. Gaudel, J. Woodcock, Eds.), pp.425-444, Springer-Verlag, 1996. 
  abstract 
• A Symbolic Model Checker for ACTL
  A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, E. Tronci. In Proc. of International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98), Lectures Notes in Computer Science 1641 (D. Hutter, W. Stephan, P. Traverso, M. Ullmann, Eds.), pp.228-242, Springer-Verlag, 1999. 
  abstract 
• Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Extended Abstract)
  A. Ingolfsdottir, R. Pugliese. In Proc. of EXPRESS'99, Electronic Notes in Theoretical Computer Science (http://www.elsevier.nl/locate/entcs/), vol.27, Elsevier Science, 1999. 
  abstract 
• A Modal Logic for Klaim
  R. De Nicola, M. Loreti. Proc of Algebraic Methodology and Software Technology, 8th Int. Conf. AMAST 2000. T. Rus (Ed.), Iowa. LNCS 1816, Springer, 2000, pp 339-354.
  abstract      gzipped-ps       gzipped-ps (Full Paper)     PowerPoint slides (zipped) 
• A Modal Logic for Mobile Agents
  R. De Nicola, M. Loreti, ACM Transactions on Computational Logic, to appear.
  abstract      gzipped-ps   
• Open nets, contexts and their properties
  R. De Nicola, M. Loreti, submitted
  abstract      full paper   

OBJECT-ORIENTED PROGRAMMING

• On Multiple Inheritance in Java
  L. Bettini, M. Loreti, B. Venneri.  Technology of Object-Oriented Languages, Systems and Architectures, Proc. of TOOLS Eastern Europe 2002, (Theo D'Hondt, Ed.), pages 1-15, Kluwer Academic Publishers, 2003.
  abstract     gzipped-ps
• Extending Java to dynamic object behaviors
  L. Bettini, S. Capecchi, B. Venneri.  Proc of WOOD 2003, To appear in ENTCS 82, 2003.
  abstract    pdf

PHD THESIS

• Languages and Logics for Network Aware Programming,
  Michele Loreti
  Tesi di Dottorato, Ciclo XIII, Dottorato in Logica e Informatica Teorica, Dipartimento di Matematica, Università di Siena, Gennaio 2002.
  abstract    gzipped-ps
• Linguistic Constructs for Object-Oriented Mobile Code Programming & their Implementations,
  Lorenzo Bettini
  Tesi di Dottorato, Ciclo XIV, Dottorato in Logica e Informatica Teorica, Dipartimento di Matematica, Università di Siena, Febbraio 2003.
  abstract    gzipped-ps

MASTER THESIS

• Progetto e Realizzazione di un Linguaggio di Programmazione per Codice Mobile
  (Design and Implementation of a Programming Language for Mobile Code)
  Lorenzo Bettini,
  Master Thesis (in Italian), Università di Firenze, April 1998.
  abstract (English)       abstract (Italian)       gzipped-ps      gzipped-ps (2 pages in 1)
• Progetto e realizzazione di un Sistema di Tipi per la Sicurezza di Codice Mobile
  (Design and Implementation of a Type System for Mobile Code Security)
  Marco Di Costanzo,
  Master Thesis (in Italian), Università di Firenze, July 1999.
  gzipped-ps
• Sicurezza e crittografia nei sistemi ad agenti mobili comunicanti tramite spazi di tuple
  (Security and cryptography in mobile agent systems communicating via tuple spaces)
  Daniele Becchi,
  Master Thesis (in Italian), Università di Firenze, Ottobre 2001.
  gzipped-ps
• Il pattern Decorator per l'estensione dei linguaggi orientati agli oggetti
  (The Decorator pattern for the extension of object-oriented languages)
  Sara Capecchi
  Master Thesis (in Italian), Università di Firenze, 2002.
  gzipped-ps
• Programmazione di Agenti Mobili in C#
  (Programming Mobile Agents in C#)
  Alessandro Lapadula,
  Master Thesis (in Italian), Università di Firenze, 2002.
  abstract    gzipped-ps
• Una infrastruttura per l'interoperabilità e lo scambio di oggetti in rete
  (An infrastructure for object interoperability and exchange in the net)
  Daniele Falassi
  Master Thesis (in Italian), Università di Firenze, 2002.
  abstract    gzipped-ps    pdf
• Realizzazione di un'estensione di Java verso l'evoluzione dinamica degli oggetti
  (Implementing an extension of Java towards dynamic evolution of objects)
  Marco Naldini
  Master Thesis (in Italian), Università di Firenze, 2003.
  abstract    gzipped-ps
• Estendere linguaggi orientati agli oggetti con il Double Dispatch
  (Extending object-oriented languages with Double Dispatch)
  Tommaso Paba
  Master Thesis (in Italian), Università di Firenze, 2003.
  abstract    gzipped-ps