 | 2011 |
|---|
| 26 |       | Laura Bocchi,
Julien Lange,
Emilio Tuosto:
Amending Contracts for Choreographies
ICE 2011: 111-129 |
| 25 | | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi,
João Abreu:
The Sensoria Reference Modelling Language.
Results of the SENSORIA Project 2011: 61-114 |
| 24 | | José Luiz Fiadeiro,
Antónia Lopes,
Laura Bocchi:
An abstract model of service discovery and binding.
Formal Asp. Comput. 23(4): 433-463 (2011) |
| 2010 |
|---|
| 23 | | Laura Bocchi,
Kohei Honda,
Emilio Tuosto,
Nobuko Yoshida:
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
CONCUR 2010: 162-176 |
| 22 | | Laura Bocchi,
Emilio Tuosto:
Testing Attribute-Based Transactions in SOC.
FMOODS/FORTE 2010: 87-94 |
| 21 | | Laura Bocchi,
Roberto Guanciale,
Daniele Strollo,
Emilio Tuosto:
BPMN Modelling of Services with Dynamically Reconfigurable Transactions.
ICSOC 2010: 396-410 |
| 20 | | Freeha Azmat,
Laura Bocchi,
José Luiz Fiadeiro:
Early Model-Analysis of Logistics Systems.
ICSOC Workshops 2010: 225-236 |
| 19 | | Laura Bocchi,
Emilio Tuosto:
A Java Inspired Semantics for Transactions in SOC.
TGC 2010: 120-134 |
| 18 | | Laura Bocchi,
Stephen Gorton,
Stephan Reiff-Marganiec:
From StPowla processes to SRML models.
Formal Asp. Comput. 22(3-4): 243-268 (2010) |
| 2009 |
|---|
| 17 | | Laura Bocchi,
José Luiz Fiadeiro,
Noor Rajper,
Stephan Reiff-Marganiec:
Structure and Behaviour of Virtual Organisation Breeding Environments
FAVO 2009: 26-40 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page