Laura Bocchi
TitleCited byYear
A calculus for long-running transactions
L Bocchi, C Laneve, G Zavattaro
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
1942003
A theory of design-by-contract for distributed multiparty interactions
L Bocchi, K Honda, E Tuosto, N Yoshida
International Conference on Concurrency Theory, 162-176, 2010
1412010
A formal approach to service component architecture
JL Fiadeiro, A Lopes, L Bocchi
International Workshop on Web Services and Formal Methods, 193-213, 2006
1162006
Monitoring networks through multiparty session types
L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida
Formal Techniques for Distributed Systems, 50-65, 2013
742013
Timed Multiparty Session Types
L Bocchi, W Yang, N Yoshida
CONCUR 8704, 419--434, 2014
522014
Asynchronous distributed monitoring for multiparty session enforcement
TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida
International Symposium on Trustworthy Global Computing, 25-45, 2011
522011
Timed runtime monitoring for multiparty conversations
R Neykova, L Bocchi, N Yoshida
Formal Aspects of Computing 29 (5), 877-910, 2017
452017
Meeting deadlines together
L Bocchi, N Yoshida, J Lange
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik 42, 283-296, 2015
452015
Specifying and composing interaction protocols for service-oriented system modelling
J Abreu, L Bocchi, JL Fiadeiro, A Lopes
International Conference on Formal Techniques for Networked and Distributed …, 2007
412007
Algebraic semantics of service component modules
JL Fiadeiro, A Lopes, L Bocchi
International Workshop on Algebraic Development Techniques, 37-55, 2006
372006
An abstract model of service discovery and binding
JL Fiadeiro, A Lopes, L Bocchi
Formal Aspects of Computing 23 (4), 433-463, 2011
352011
On the Impact of Formal Methods in the SOA
L Bocchi, P Ciancarini
Electronic Notes in Theoretical Computer Science 160, 113-126, 2006
302006
Compositional nested long running transactions
L Bocchi
International Conference on Fundamental Approaches to Software Engineering …, 2004
292004
The Sensoria Reference Modelling Language
J Fiadeiro, A Lopes, L Bocchi, J Abreu
Rigorous software engineering for service-oriented systems, 61-114, 2011
262011
Service-oriented modelling of automotive systems
L Bocchi, JL Fiadeiro, A Lopes
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
252008
From BPEL to SRML: a formal transformational approach
L Bocchi, Y Hong, A Lopes, JL Fiadeiro
International Workshop on Web Services and Formal Methods, 92-107, 2007
242007
Sensoria: Engineering for service-oriented overlay computers
M Wirsing, L Bocchi, A Clark, J Fiadeiro, S Gilmore, M Hölzl, N Koch, ...
At Your Service: Service-Oriented Computing from an EU Perspective, 159-182, 2007
222007
A perspective on multiagent coordination models
L Bocchi, P Ciancarini
Communication in multiagent systems, 146-163, 2003
182003
A use-case driven approach to formal service-oriented modelling
L Bocchi, JL Fiadeiro, A Lopes
International Symposium On Leveraging Applications of Formal Methods …, 2008
172008
An OWL-S based approach to express grid services coordination
L Bocchi, P Ciancarini, R Moretti, V Presutti, D Rossi
Proceedings of the 2005 ACM symposium on Applied computing, 1661-1667, 2005
172005
The system can't perform the operation now. Try again later.
Articles 1–20