 | 2009 |
|---|
| 16 |       | Laura Bocchi,
José Luiz Fiadeiro,
Alessandro Lapadula,
Rosario Pugliese,
Francesco Tiezzi:
From Architectural to Behavioural Specification of Services.
Electr. Notes Theor. Comput. Sci. 253(1): 3-21 (2009) |
| 2008 |
|---|
| 15 | | Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
Service-Oriented Modelling of Automotive Systems.
COMPSAC 2008: 1059-1064 |
| 14 | | Laura Bocchi,
Stephen Gorton,
Stephan Reiff-Marganiec:
Engineering Service Oriented Applications: From StPowla Processes to SRML Models.
FASE 2008: 163-178 |
| 13 | | Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
A Use-Case Driven Approach to Formal Service-Oriented Modelling.
ISoLA 2008: 155-169 |
| 2007 |
|---|
| 12 | | João Abreu,
Laura Bocchi,
José Luiz Fiadeiro,
Antónia Lopes:
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
FORTE 2007: 358-373 |
| 11 | | Laura Bocchi,
Yi Hong,
Antónia Lopes,
José Luiz Fiadeiro:
From BPEL to SRML: A Formal Transformational Approach.
WS-FM 2007: 92-107 |
| 2006 |
|---|
| 10 | | Laura Bocchi,
Roberto Lucchi:
Atomic Commit and Negotiation in Service Oriented Computing.
COORDINATION 2006: 16-27 |
| 9 | | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi:
Algebraic Semantics of Service Component Modules.
WADT 2006: 37-55 |
| 8 | | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi:
A Formal Approach to Service Component Architecture.
WS-FM 2006: 193-213 |
| 7 | | Laura Bocchi,
Paolo Ciancarini:
On the Impact of Formal Methods in the SOA.
Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006) |
| 2005 |
|---|
| 6 | | Laura Bocchi,
Paolo Ciancarini,
Davide Rossi:
Transactional Aspects in Semantic Based Discovery of Services.
COORDINATION 2005: 283-297 |
| 5 | | Laura Bocchi,
Paolo Ciancarini,
Rocco Moretti,
Valentina Presutti,
Davide Rossi:
An OWL-S based approach to express grid services coordination.
SAC 2005: 1661-1667 |
| 2004 |
|---|
| 4 | | Laura Bocchi:
Compositional Nested Long Running Transactions.
FASE 2004: 194-208 |
| 3 | | Laura Bocchi,
Lucian Wischik:
A Process Calculus of Atomic Commit.
Electr. Notes Theor. Comput. Sci. 105: 119-132 (2004) |
| 2003 |
|---|
| 2 | | Laura Bocchi,
Paolo Ciancarini:
A Perspective on Multiagent Coordination Models.
Communication in Multiagent Systems 2003: 146-163 |
| 1 | | Laura Bocchi,
Cosimo Laneve,
Gianluigi Zavattaro:
A Calculus for Long-Running Transactions.
FMOODS 2003: 124-138 |
