- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Laura Bocchi, Julien Lange, Emilio Tuosto: Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comp. Sci. 22(1): 61-104 (2012) |
| 2011 | ||
| j5 | | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: An abstract model of service discovery and binding. Formal Asp. Comput. 23(4): 433-463 (2011) |
| p1 | | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu: The Sensoria Reference Modelling Language. Results of the SENSORIA Project 2011: 61-114 |
| c21 | | Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida: Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011: 25-45 |
| c20 | | |
| 2010 | ||
| j4 | | Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec: From StPowla processes to SRML models. Formal Asp. Comput. 22(3-4): 243-268 (2010) |
| c19 | | Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida: A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010: 162-176 |
| c18 | | |
| c17 | | Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro: Early Model-Analysis of Logistics Systems. ICSOC Workshops 2010: 225-236 |
| c16 | | Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto: BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC 2010: 396-410 |
| c15 | | |
| 2009 | ||
| j3 | | 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) |
| c14 | | Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec: Structure and Behaviour of Virtual Organisation Breeding Environments. FAVO 2009: 26-40 |
| 2008 | ||
| c13 | | Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064 |
| c12 | | Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec: Engineering Service Oriented Applications: From StPowla Processes to SRML Models. FASE 2008: 163-178 |
| c11 | | Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169 |
| 2007 | ||
| c10 | | 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 |
| c9 | | Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107 |
| 2006 | ||
| j2 | | Laura Bocchi, Paolo Ciancarini: On the Impact of Formal Methods in the SOA. Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006) |
| c8 | | Laura Bocchi, Roberto Lucchi: Atomic Commit and Negotiation in Service Oriented Computing. COORDINATION 2006: 16-27 |
| c7 | | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55 |
| c6 | | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213 |
| 2005 | ||
| c5 | | Laura Bocchi, Paolo Ciancarini, Davide Rossi: Transactional Aspects in Semantic Based Discovery of Services. COORDINATION 2005: 283-297 |
| c4 | | 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 | ||
| j1 | | Laura Bocchi, Lucian Wischik: A Process Calculus of Atomic Commit. Electr. Notes Theor. Comput. Sci. 105: 119-132 (2004) |
| c3 | | |
| 2003 | ||
| c2 | | Laura Bocchi, Paolo Ciancarini: A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems 2003: 146-163 |
| c1 | | 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