Roberto Lucchi

28 papers A 2C 4Misc 3Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2009 J jnl
Service chaining architectures for applications implementing distributed geographic information processing.
Int. J. Geogr. Inf. Sci.
Anders Friis-Christensen, Roberto Lucchi, Michael Lutz, Nicole Ostländer
2007 — conf
A Rule-Based Description Framework for the Composition of Geographic Information Services.
GeoS
Michael Lutz, Roberto Lucchi, Anders Friis-Christensen, Nicole Ostländer
2007 J jnl
A pi-calculus based semantics for WS-BPEL.
J. Log. Algebraic Methods Program.
Roberto Lucchi, Manuel Mazzara
2007 J jnl
Formalizing Mobility in Service Oriented Computing.
J. Softw.
Claudio Guidi, Roberto Lucchi
2006 A conf
: A Calculus for Service Oriented Computing.
ICSOC
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
2006 C conf
Atomic Commit and Negotiation in Service Oriented Computing.
COORDINATION
Laura Bocchi, Roberto Lucchi
2006 C conf
Choreography and Orchestration Conformance for System Design.
COORDINATION
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006 — conf
JOLIE: a Java Orchestration Language Interpreter Engine.
CoOrg/MTCoord@COORDINATION
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2006 — conf
Mobility Mechanisms in Service Oriented Computing.
FMOODS
Claudio Guidi, Roberto Lucchi
2006 J jnl
Secure shared data-space coordination languages: A process algebraic survey.
Sci. Comput. Program.
Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
2006 — conf
SensoriaProcess Calculi for Service-Oriented Computing.
TGC
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2006 J jnl
Supporting Secure Coordination in SecSpaces.
Fundam. Informaticae
Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005 A conf
Choreography and Orchestration: A Synergic Approach for System Design.
ICSOC
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005 J jnl
Quantitative information in the tuple space coordination model.
Theor. Comput. Sci.
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2005 — conf
Reasoning About Interaction Patterns in Choreography.
EPEW/WS-FM
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
2005 Misc conf
Supporting e-commerce systems formalization with choreography languages.
SAC
Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2005 C conf
Towards a formal framework for Choreography.
WETICE
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
2004 — conf
A Formal Framework for Web Services Coordination.
FOCLASA
Claudio Guidi, Roberto Lucchi, Manuel Mazzara
2004 — conf
A Framework for Generic Error Handling in Business Processes.
WSFM
Manuel Mazzara, Roberto Lucchi
2004 — conf
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda.
SecCo
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 C conf
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model.
COORDINATION
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 — conf
Security Issues in the Tuple-Space Coordination Model.
Formal Aspects in Security and Trust
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2004 — —
Security, probability and priority in the tuple-space coordination model.
Roberto Lucchi
2004 Misc conf
WSSecSpaces: a secure data-driven coordination service for Web Services applications.
SAC
Roberto Lucchi, Gianluigi Zavattaro
2004 Misc conf
Web Services for E-commerce: guaranteeing security access and quality of service.
SAC
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
2003 — conf
A formal approach for checking security properties in SecSpaces.
SecCo
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
2003 — conf
Combining Partitions in SecSpaces.
MEFISTO
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
2002 — conf
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
FOCLASA
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro