Roberto Lucchi

According to our database, Roberto Lucchi authored at least 28 papers between 2002 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Service chaining architectures for applications implementing distributed geographic information processing.

Anders Friis-Christensen, Roberto Lucchi, Michael Lutz, Nicole Ostländer

Int. J. Geogr. Inf. Sci., 2009

2007

Formalizing Mobility in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi

J. Softw., 2007

A pi-calculus based semantics for WS-BPEL.

Roberto Lucchi, Manuel Mazzara

J. Log. Algebraic Methods Program., 2007

A Rule-Based Description Framework for the Composition of Geographic Information Services.

Michael Lutz, Roberto Lucchi, Anders Friis-Christensen, Nicole Ostländer

Proceedings of the GeoSpatial Semantics, Second International Conference, 2007

2006

Secure shared data-space coordination languages: A process algebraic survey.

Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro

Sci. Comput. Program., 2006

Supporting Secure Coordination in SecSpaces.

Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Fundam. Informaticae, 2006

JOLIE: a Java Orchestration Language Interpreter Engine.

Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

SensoriaProcess Calculi for Service-Oriented Computing.

Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

: A Calculus for Service Oriented Computing.

Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro

Proceedings of the Service-Oriented Computing, 2006

Mobility Mechanisms in Service Oriented Computing.

Claudio Guidi, Roberto Lucchi

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Choreography and Orchestration Conformance for System Design.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

Atomic Commit and Negotiation in Service Oriented Computing.

Laura Bocchi, Roberto Lucchi

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Quantitative information in the tuple space coordination model.

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Theor. Comput. Sci., 2005

Towards a formal framework for Choreography.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 2005

Supporting e-commerce systems formalization with choreography languages.

Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Choreography and Orchestration: A Synergic Approach for System Design.

Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Service-Oriented Computing, 2005

Reasoning About Interaction Patterns in Choreography.

Roberto Gorrieri, Claudio Guidi, Roberto Lucchi

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

Security, probability and priority in the tuple-space coordination model.

Roberto Lucchi

PhD thesis, 2004

A Framework for Generic Error Handling in Business Processes.

Manuel Mazzara, Roberto Lucchi

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

A Formal Framework for Web Services Coordination.

Claudio Guidi, Roberto Lucchi, Manuel Mazzara

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

WSSecSpaces: a secure data-driven coordination service for Web Services applications.

Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Web Services for E-commerce: guaranteeing security access and quality of service.

Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Security Issues in the Tuple-Space Coordination Model.

Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

Combining Partitions in SecSpaces.

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

A formal approach for checking security properties in SecSpaces.

Mario Bravetti, Roberto Gorrieri, Roberto Lucchi

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

2002

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002