Roberto Lucchi Department of Computer Science,  Università degli Studi di Bologna e-mail: lucchi[at]cs[dot]unibo[dot]it

Home | My publications | 

Pubblications

International Journals

• Quantitative Information in the Tuple Space Coordination Model 
  M. Bravetti, R. Gorrieri, R. Lucchi, G. Zavattaro.
  Theoretical Computer Science n.346, pag. 28-57, Elsevier.
  [ps]
• Supporting Secure Coordination in SecSpaces
  R. Gorrieri, R. Lucchi and G. Zavattaro. 
  FUNDAMENTA INFORMATICAE, IOS press, pag. 479-506, Volume 73, Number 4.
  [ps]
• A pi-calculus based semantics for WS-BPEL
  R. Lucchi and M. Mazzara. 
  To appear in Journal of Logic and Algebraic Programming (JLAP), Elsevier press.
  [pdf]
• Secure shared data-space Coordination Languages: a Process Algebraic survey
  R. Focardi, R. Lucchi and G. Zavattaro. 
  To appear in Science of Computer Programming, Elsevier press..
  [pdf]

Conference and Workshop Proceedings

• JOLIE: a Java Orchestration Language Interpreter Engine
  C. Guidi, F. Montesi, R. Lucchi, G. Zavattaro 
  In Proc. of . 2nd International Workshop on Coordination and Organisation (CoOrg 2006), ENTCS. To appear. 
• Mobility mechanisms in service oriented computing
  C. Guidi, R. Lucchi
  In Proc. of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), LNCS. To appear. 
• Choreography and Orchestration conformance for system design
  N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro
  In Proc. of 8th International Conference on Coordination Models and Languages, 2006, LNCS. To appear. 
• Atomic Commit and Negotiation in Service Oriented Conputing
  L. Bocchi and R. Lucchi
  In Proc. of 8th International Conference on Coordination Models and Languages, 2006, LNCS. To appear. 
• Choreography and Orchestration: a synergic approach for system design
  N. Busi, R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
  In Proc. of 3rd International Conference on Service Oriented Computing, pages 228-240, LNCS 3826, Springer Verlag, 2005.  
• Reasoning about interaction patterns in Choreography
  R. Gorrieri, C. Guidi, R. Lucchi
  In Proc. of 2nd International Workshop on Web Services and Formal Methods WS-FM'05, pages 333-348, LNCS 3670, Springer Verlag, 2005.  
  [pdf]
• Towards a formal framework for Choreography
  N. Busi, R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
  In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press. To appear  
  [pdf]
• Supporting e-commerce systems formalization with choreography languages
  M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro.
  In Proc. of ACM Symposium on Applied Computing (SAC'05), ACM Press, 2005.
  [bibtex][pdf]
• Security Issues in the Tuple-Space Coordination Model
  M. Bravetti, N. Busi, R. Gorrieri, R. Lucchi, G. Zavattaro.
  In Proc. of the second International Workshop on Formal Aspects in Security and Trust (FAST'04)
  Volume 173, Springer Science+Business Media Inc., Formerly Kluwer Boston Inc.
  [bibtex][ps]
• On the expressiveness of probabilistic and prioritized data-retrieval in Linda
  Mario Bravetti, Roberto Gorrieri, Roberto Lucchi and Gianluigi Zavattaro.
  In Proc. of 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04). Riccardo Focardi and Gianluigi Zavattaro, editors
  Electronic Notes in Theoretical Computer Science, volume 128-5. Elsevier, 2005. 
  [bibtex][pdf]
• A Formal Framework for Web Services Coordination
  Claudio Guidi, Roberto Lucchi and Manuel Mazzara
  In Proc. of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'04) 
  Electronic Notes in Theoretical Computer Science to appear, Elsevier. To appear. 
  [bibtex][pdf]
• A Framework for Generic Error Handling in Business Processes
  Manuel Mazzara and Roberto Lucchi
  In Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), Mario Bravetti and Gianluigi Zavattaro, editors, 
  Electronic Notes in Theoretical Computer Science, Elsevier. To appear.
  [bibtex][pdf]
• Combining partitions in SecSpaces
  Mario Bravetti, Roberto Gorrieri, Roberto Lucchi and Gianluigi Zavattaro
  In Proc. of Workshop on Fomal Methods for Security and Time (MEFISTO'03)
  Electronic Notes in Theoretical Computer Science, Elsevier. To appear. 
  [bibtex][pdf]
• WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services Applications
  Roberto Lucchi and Gianluigi Zavattaro
  In Proc. of ACM Symposium on Applied Computing (SAC'04), pages 487-491. ACM Press, 2004. 
  [bibtex][pdf][ps]
• Web Services for E-commerce: guaranteeing security access and quality of service
  Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, and Roberto Gorrieri
  In Proc. of ACM Symposium on Applied Computing (SAC'04), pages 800-806. ACM Press, 2004. 
  [bibtex][pdf][ps]
• Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model
  Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro
  In Proc. of 6th International Conference on Coordination Models and Languages (COORDINATION 2004), pages 55-70, LNCS 2949, Springer Verlag, 2004.
  [bibtex][pdf][ps]
• A formal approach for checking security properties in SecSpaces
  Mario Bravetti, Roberto Gorrieri, and Roberto Lucchi
  In Proc. of 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03). Riccardo Focardi and Gianluigi Zavattaro, editors,
  Electronic Notes in Theoretical Computer Science, volume 85. Elsevier, 2003.
  [bibtex][pdf][ps]
• SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents
  N. Busi, R. Gorrieri, R. Lucchi and G. Zavattaro
  In Proc. of International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'02)
  Electronic Notes in Theoretical Computer Science 68(3), Elsevier, 2002.
  [bibtex][pdf][ps]