| A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 203 | 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 | 156 | 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 | 125 | 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 | 77 | 2013 |
| Timed Multiparty Session Types L Bocchi, W Yang, N Yoshida CONCUR 8704, 419--434, 2014 | 59 | 2014 |
| 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 | 58 | 2011 |
| Timed runtime monitoring for multiparty conversations R Neykova, L Bocchi, N Yoshida Formal Aspects of Computing 29 (5), 877-910, 2017 | 56 | 2017 |
| Meeting deadlines together L Bocchi, J Lange, N Yoshida 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 50 | 2015 |
| 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 | 41 | 2007 |
| Algebraic semantics of service component modules JL Fiadeiro, A Lopes, L Bocchi International Workshop on Algebraic Development Techniques, 37-55, 2006 | 39 | 2006 |
| An abstract model of service discovery and binding JL Fiadeiro, A Lopes, L Bocchi Formal Aspects of Computing 23 (4), 433-463, 2011 | 38 | 2011 |
| On the Impact of Formal Methods in the SOA L Bocchi, P Ciancarini Electronic Notes in Theoretical Computer Science 160, 113-126, 2006 | 32 | 2006 |
| Service-oriented modelling of automotive systems L Bocchi, JL Fiadeiro, A Lopes 2008 32nd Annual IEEE International Computer Software and Applications …, 2008 | 31 | 2008 |
| The Sensoria Reference Modelling Language J Fiadeiro, A Lopes, L Bocchi, J Abreu Rigorous Software Engineering for Service-Oriented Systems, 61-114, 2011 | 28 | 2011 |
| Compositional nested long running transactions L Bocchi International Conference on Fundamental Approaches to Software Engineering …, 2004 | 27 | 2004 |
| 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 | 25 | 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 | 24 | 2007 |
| Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida Theoretical Computer Science 669, 33-58, 2017 | 22 | 2017 |
| Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 20 | 2014 |
| 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 | 20 | 2005 |
