Laura Bocchi

Monitoring networks through multiparty session types

Laura Bocchi, Tzu‐Chun Chen, Romain Demangeon et al. · Theoretical Computer Science · 2017 · 55 citations · Full text

Computing, Computer Science, Computer Systems +15

Timed runtime monitoring for multiparty conversations

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida · Formal Aspects of Computing · 2017 · 50 citations · Full text

Computing, Computer Science, Computer Systems +12

Meeting Deadlines Together

Laura Bocchi, Julien Lange, Nobuko Yoshida · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 31 citations · Full text

Computing, Computer Science, Computer Systems +14

An abstract model of service discovery and binding

José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi · Formal Aspects of Computing · 2010 · 29 citations · Full text

Computing, Computer Science, Information Systems +12

Service-Oriented Modelling of Automotive Systems

Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes · 2008 · 25 citations · Full text

Engineering, Automotive Engineering, Systems Engineering +17