| A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2003 | 213 | 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 | 204 | 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 | 136 | 2006 |
| Timed runtime monitoring for multiparty conversations R Neykova, L Bocchi, N Yoshida Formal Aspects of Computing 29 (5), 877-910, 2017 | 88 | 2017 |
| Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 87 | 2013 |
| Timed Multiparty Session Types L Bocchi, W Yang, N Yoshida CONCUR 8704, 419--434, 2014 | 81 | 2014 |
| Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida Theoretical Computer Science 669, 33-58, 2017 | 71 | 2017 |
| 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 | 69 | 2011 |
| Meeting deadlines together L Bocchi, N Yoshida, J Lange Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015 | 61 | 2015 |
| An abstract model of service discovery and binding JL Fiadeiro, A Lopes, L Bocchi Formal Aspects of Computing 23 (4), 433-463, 2011 | 44 | 2011 |
| 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 | 43 | 2007 |
| Algebraic semantics of service component modules JL Fiadeiro, A Lopes, L Bocchi International Workshop on Algebraic Development Techniques, 37-55, 2006 | 41 | 2006 |
| Service-oriented modelling of automotive systems L Bocchi, JL Fiadeiro, A Lopes 2008 32nd annual ieee international computer software and applications …, 2008 | 40 | 2008 |
| Asynchronous timed session types L Bocchi, M Murgia, VT Vasconcelos, N Yoshida Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019 | 34 | 2019 |
| On the Impact of Formal Methods in the SOA L Bocchi, P Ciancarini Electronic Notes in Theoretical Computer Science 160, 113-126, 2006 | 34 | 2006 |
| Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 30* | 2014 |
| The Sensoria Reference Modelling Language J Fiadeiro, A Lopes, L Bocchi, J Abreu Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011 | 28 | 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 | 28 | 2007 |
| Compositional nested long running transactions L Bocchi International Conference on Fundamental Approaches to Software Engineering …, 2004 | 27 | 2004 |
| 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 | 26 | 2007 |
