Laura Bocchi
Laura Bocchi
Bestätigte E-Mail-Adresse bei
TitelZitiert vonJahr
A calculus for long-running transactions
L Bocchi, C Laneve, G Zavattaro
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
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
A formal approach to service component architecture
JL Fiadeiro, A Lopes, L Bocchi
International Workshop on Web Services and Formal Methods, 193-213, 2006
Monitoring networks through multiparty session types
L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida
Formal Techniques for Distributed Systems, 50-65, 2013
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
Timed Multiparty Session Types
L Bocchi, W Yang, N Yoshida
CONCUR 8704, 419--434, 2014
Meeting deadlines together
L Bocchi, J Lange, N Yoshida
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
Timed runtime monitoring for multiparty conversations
R Neykova, L Bocchi, N Yoshida
Formal Aspects of Computing 29 (5), 877-910, 2017
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
Algebraic semantics of service component modules
JL Fiadeiro, A Lopes, L Bocchi
International Workshop on Algebraic Development Techniques, 37-55, 2006
An abstract model of service discovery and binding
JL Fiadeiro, A Lopes, L Bocchi
Formal Aspects of Computing 23 (4), 433-463, 2011
On the Impact of Formal Methods in the SOA
L Bocchi, P Ciancarini
Electronic Notes in Theoretical Computer Science 160, 113-126, 2006
Compositional nested long running transactions
L Bocchi
International Conference on Fundamental Approaches to Software Engineering …, 2004
Service-oriented modelling of automotive systems
L Bocchi, JL Fiadeiro, A Lopes
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
The Sensoria Reference Modelling Language
J Fiadeiro, A Lopes, L Bocchi, J Abreu
Rigorous software engineering for service-oriented systems, 61-114, 2011
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
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
A perspective on multiagent coordination models
L Bocchi, P Ciancarini
Communication in multiagent systems, 146-163, 2003
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20