Laura Bocchi

64 papers A 3B 8C 8Misc 1Journal 20Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mixed Choice in Asynchronous Multiparty Session Types.
CoRR
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon J. Thompson
2025 B conf
Abstract Subtyping for Asynchronous Multiparty Sessions.
CONCUR
Laura Bocchi, Andy King, Maurizio Murgia, Simon Thompson
2025 J jnl
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions.
Log. Methods Comput. Sci.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2024 — conf
Asynchronous Subtyping by Trace Relaxation.
TACAS (1)
Laura Bocchi, Andy King, Maurizio Murgia
2024 — conf
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors.
Erlang
Jonah Pears, Laura Bocchi, Raymond Hu
2024 J jnl
Introducing TOAST: Safe Asynchronous Mixed-Choice For Timed Interactions.
CoRR
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King
2024 J jnl
revTPL: The Reversible Temporal Process Language.
Log. Methods Comput. Sci.
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2023 J jnl
A Theory of Composing Protocols.
Art Sci. Eng. Program.
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2023 J jnl
A model of actors and grey failures.
Log. Methods Comput. Sci.
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2023 C conf
Safe Asynchronous Mixed-Choice for Timed Interactions.
COORDINATION
Jonah Pears, Laura Bocchi, Andy King
2023 J jnl
Safe asynchronous mixed-choice for timed interactions.
CoRR
Jonah Pears, Laura Bocchi, Andy King
2022 C conf
A Model of Actors and Grey Failures.
COORDINATION
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 J jnl
A Theory of Protocol Composition.
CoRR
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2022 J jnl
A model of actors and grey failures.
CoRR
Laura Bocchi, Julien Lange, Simon Thompson, Adriana Laura Voinea
2022 C conf
The Reversible Temporal Process Language.
FORTE
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2022 J jnl
revTPL: The Reversible Temporal Process Language.
CoRR
Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen
2020 C ed.
Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
COORDINATION
Simon Bliudze, Laura Bocchi
2020 J jnl
On Resolving Non-determinism in Choreographies.
Log. Methods Comput. Sci.
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2019 A conf
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.
ESOP
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2019 J jnl
On Resolving Non-determinism in Choreographies.
CoRR
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2019 J jnl
Preface for the special issue on Interaction and Concurrency Experience 2017.
J. Log. Algebraic Methods Program.
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2018 B conf
Progress-Preserving Refinements of CTA.
CONCUR
Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
2017 J jnl
Monitoring networks through multiparty session types.
Theor. Comput. Sci.
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2017 — ed.
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017.
ICE@DisCoTec
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight
2017 J jnl
Timed runtime monitoring for multiparty conversations.
Formal Aspects Comput.
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2015 J jnl
Attribute-based transactions in service oriented computing.
Math. Struct. Comput. Sci.
Laura Bocchi, Emilio Tuosto
2015 B conf
Meeting Deadlines Together.
CONCUR
Laura Bocchi, Julien Lange, Nobuko Yoshida
2015 J jnl
On the behaviour of general purpose applications on cloud storages.
Serv. Oriented Comput. Appl.
Laura Bocchi, Hernán C. Melgratti
2014 A conf
Resolving Non-determinism in Choreographies.
ESOP
Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto
2014 B conf
Timed Multiparty Session Types.
CONCUR
Laura Bocchi, Weizhen Yang, Nobuko Yoshida
2014 — conf
Timed Runtime Monitoring for Multiparty Conversations.
BEAT
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
2013 — conf
Embedding Session Types in HML.
PLACES
Laura Bocchi, Romain Demangeon
2013 — conf
Monitoring Networks through Multiparty Session Types.
FMOODS/FORTE
Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida
2013 — conf
On the Behaviour of General-Purpose Applications on Cloud Storages.
WS-FM
Laura Bocchi, Hernán C. Melgratti
2012 — conf
A Multiparty Multi-session Logic.
TGC
Laura Bocchi, Romain Demangeon, Nobuko Yoshida
2012 J jnl
Three Algorithms and a Methodology for Amending Contracts for Choreographies.
Sci. Ann. Comput. Sci.
Laura Bocchi, Julien Lange, Emilio Tuosto
2011 — conf
Amending Contracts for Choreographies
ICE
Laura Bocchi, Julien Lange, Emilio Tuosto
2011 J jnl
An abstract model of service discovery and binding.
Formal Aspects Comput.
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2011 — conf
Asynchronous Distributed Monitoring for Multiparty Session Enforcement.
TGC
Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
2011 — ch.
The Sensoria Reference Modelling Language.
Results of the SENSORIA Project
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi, João Abreu
2010 — conf
A Java Inspired Semantics for Transactions in SOC.
TGC
Laura Bocchi, Emilio Tuosto
2010 B conf
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
CONCUR
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida
2010 A conf
BPMN Modelling of Services with Dynamically Reconfigurable Transactions.
ICSOC
Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2010 — conf
Early Model-Analysis of Logistics Systems.
ICSOC Workshops
Freeha Azmat, Laura Bocchi, José Luiz Fiadeiro
2010 J jnl
From StPowla processes to SRML models.
Formal Aspects Comput.
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
2010 — conf
Testing Attribute-Based Transactions in SOC.
FMOODS/FORTE
Laura Bocchi, Emilio Tuosto
2009 — conf
From Architectural to Behavioural Specification of Services.
FESCA@ETAPS
Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
2009 — conf
Structure and Behaviour of Virtual Organisation Breeding Environments
FAVO
Laura Bocchi, José Luiz Fiadeiro, Noor Rajper, Stephan Reiff-Marganiec
2008 C conf
A Use-Case Driven Approach to Formal Service-Oriented Modelling.
ISoLA
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2008 B conf
Engineering Service Oriented Applications: From StPowla Processes to SRML Models.
FASE
Laura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec
2008 B conf
Service-Oriented Modelling of Automotive Systems.
COMPSAC
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2007 — conf
From BPEL to SRML: A Formal Transformational Approach.
WS-FM
Laura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro
2007 C conf
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling.
FORTE
João Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes
2006 — conf
A Formal Approach to Service Component Architecture.
WS-FM
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006 — conf
Algebraic Semantics of Service Component Modules.
WADT
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
2006 C conf
Atomic Commit and Negotiation in Service Oriented Computing.
COORDINATION
Laura Bocchi, Roberto Lucchi
2006 — —
Transactional aspects in coordination and composition of web services.
Laura Bocchi
2005 Misc conf
An OWL-S based approach to express grid services coordination.
SAC
Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi
2005 — conf
On the Impact of Formal Methods in the SOA.
FACS
Laura Bocchi, Paolo Ciancarini
2005 C conf
Transactional Aspects in Semantic Based Discovery of Services.
COORDINATION
Laura Bocchi, Paolo Ciancarini, Davide Rossi
2004 — conf
A Process Calculus of Atomic Commit.
WSFM
Laura Bocchi, Lucian Wischik
2004 B conf
Compositional Nested Long Running Transactions.
FASE
Laura Bocchi
2003 — conf
A Calculus for Long-Running Transactions.
FMOODS
Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
2003 — conf
A Perspective on Multiagent Coordination Models.
Communication in Multiagent Systems
Laura Bocchi, Paolo Ciancarini
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling