Laura Bocchi

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 20

Top Topics

General Purpose

Service Oriented

Feature Interactions

Top Venues

Log. Methods Comput. Sci.

Publications

Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions. CoRR (2024)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. Log. Methods Comput. Sci. 20 (1) (2024)
Jonah Pears, Laura Bocchi, Raymond Hu
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors. Erlang (2024)
Laura Bocchi, Andy King, Maurizio Murgia
Asynchronous Subtyping by Trace Relaxation. TACAS (1) (2024)
Laura Bocchi, Dominic Orchard, A. Laura Voinea
A Theory of Composing Protocols. Art Sci. Eng. Program. 7 (2) (2023)
Jonah Pears, Laura Bocchi, Andy King
Safe asynchronous mixed-choice for timed interactions. CoRR (2023)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. Log. Methods Comput. Sci. 19 (4) (2023)
Jonah Pears, Laura Bocchi, Andy King
Safe Asynchronous Mixed-Choice for Timed Interactions. COORDINATION (2023)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A Model of Actors and Grey Failures. COORDINATION (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
The Reversible Temporal Process Language. FORTE (2022)
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea
A model of actors and grey failures. CoRR (2022)
Laura Bocchi, Dominic Orchard, Laura Voinea
A Theory of Protocol Composition. CoRR (2022)
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
revTPL: The Reversible Temporal Process Language. CoRR (2022)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. Log. Methods Comput. Sci. 16 (3) (2020)
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
On Resolving Non-determinism in Choreographies. CoRR (2019)
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP (2019)
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
Progress-Preserving Refinements of CTA. CONCUR (2018)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring networks through multiparty session types. Theor. Comput. Sci. 669 (2017)
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Timed runtime monitoring for multiparty conversations. Formal Aspects Comput. 29 (5) (2017)
Laura Bocchi, Emilio Tuosto
Attribute-based transactions in service oriented computing. Math. Struct. Comput. Sci. 25 (3) (2015)
Laura Bocchi, Hernán C. Melgratti
On the behaviour of general purpose applications on cloud storages. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Laura Bocchi, Julien Lange, Nobuko Yoshida
Meeting Deadlines Together. CONCUR (2015)
Laura Bocchi, Weizhen Yang, Nobuko Yoshida
Timed Multiparty Session Types. CONCUR (2014)
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
Resolving Non-determinism in Choreographies. ESOP (2014)
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Timed Runtime Monitoring for Multiparty Conversations. BEAT (2014)
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
Monitoring Networks through Multiparty Session Types. FMOODS/FORTE (2013)
Laura Bocchi, Romain Demangeon
Embedding Session Types in HML. PLACES (2013)
Laura Bocchi, Hernán C. Melgratti
On the Behaviour of General-Purpose Applications on Cloud Storages. WS-FM (2013)
Laura Bocchi, Romain Demangeon, Nobuko Yoshida
A Multiparty Multi-session Logic. TGC (2012)
Laura Bocchi, Julien Lange, Emilio Tuosto
Three Algorithms and a Methodology for Amending Contracts for Choreographies. Sci. Ann. Comput. Sci. 22 (1) (2012)
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC (2011)
Laura Bocchi, Julien Lange, Emilio Tuosto
Amending Contracts for Choreographies ICE (2011)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
An abstract model of service discovery and binding. Formal Aspects Comput. 23 (4) (2011)
Laura Bocchi, Emilio Tuosto
Testing Attribute-Based Transactions in SOC. FMOODS/FORTE (2010)
Laura Bocchi, Emilio Tuosto
A Java Inspired Semantics for Transactions in SOC. TGC (2010)
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
From StPowla processes to SRML models. Formal Aspects Comput. 22 (3-4) (2010)
Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC (2010)
Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro
Early Model-Analysis of Logistics Systems. ICSOC Workshops (2010)
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR (2010)
Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec
Structure and Behaviour of Virtual Organisation Breeding Environments FAVO (2009)
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
From Architectural to Behavioural Specification of Services. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
Engineering Service Oriented Applications: From StPowla Processes to SRML Models. FASE (2008)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Service-Oriented Modelling of Automotive Systems. COMPSAC (2008)
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA (2008)
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
From BPEL to SRML: A Formal Transformational Approach. WS-FM (2007)
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE (2007)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
A Formal Approach to Service Component Architecture. WS-FM (2006)
Laura Bocchi, Roberto Lucchi
Atomic Commit and Negotiation in Service Oriented Computing. COORDINATION (2006)
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
Algebraic Semantics of Service Component Modules. WADT (2006)
Laura Bocchi, Paolo Ciancarini
On the Impact of Formal Methods in the SOA. Electron. Notes Theor. Comput. Sci. 160 (2006)
Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi
An OWL-S based approach to express grid services coordination. SAC (2005)
Laura Bocchi, Paolo Ciancarini, Davide Rossi
Transactional Aspects in Semantic Based Discovery of Services. COORDINATION (2005)
Laura Bocchi
Compositional Nested Long Running Transactions. FASE (2004)
Laura Bocchi, Lucian Wischik
A Process Calculus of Atomic Commit. Electron. Notes Theor. Comput. Sci. 105 (2004)
Laura Bocchi, Paolo Ciancarini
A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems (2003)
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
A Calculus for Long-Running Transactions. FMOODS (2003)