School of Computing

Publications by Dr Laura Bocchi

Also view these in the Kent Academic Repository

Article
Bocchi, L. (2017). Monitoring Networks through Multiparty Session Types. Theoretical Computer Science [Online] 669:33-58. Available at: http://dx.doi.org/10.1016/j.tcs.2017.02.009.
Bocchi, L. (2017). Timed Runtime Monitoring for Multiparty Conversations. Formal Aspects of Computing [Online]. Available at: http://dx.doi.org/10.1007/s00165-017-0420-8.
Bocchi, L. and Tuosto, E. (2015). Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science [Online] 25:619-665. Available at: http://dx.doi.org/10.1017/S0960129512000904.
Bocchi, L. and Melgratti, H. (2014). On the Behaviour of General Purpose Applications on Cloud Storage. Service Oriented Computing and Applications [Online] 9:213-227. Available at: http://dx.doi.org/10.1007/s11761-014-0165-7.
Bocchi, L. et al. (2013). Virtual models for archaeology. Archeologia e Calcolatori [Online] 24:305-324. Available at: http://soi.cnr.it/archcalc/indice/PDF24/15_Bocchi_et_al.pdf.
Bocchi, L., Lange, J. and Tuosto, E. (2012). Three Algorithms and a Methodology for Amending Contracts for Choreographies. Scientific Annals of Computer Science [Online] 22:61-104. Available at: http://doi.org/10.7561/SACS.2012.1.61.
Brysbaert, A., Bocchi, L. and Tuosto, E. (2012). Relating archaeological chaîne opératoire and process mining in computer science. Archeologia e Calcolatori:165-186.
Fiadeiro, J., Lopes, A. and Bocchi, L. (2011). An abstract model of service discovery and binding. Formal Aspects of Computing [Online] 23:433-463. Available at: http://doi.org/10.1007/s00165-010-0166-z.
Bocchi, L., Gorton, S. and Reiff-Marganiec, S. (2010). From StPowla processes to SRML models. Formal Aspects of Computing [Online] 22:243-268. Available at: http://doi.org/10.1007/s00165-009-0118-7.
Bocchi, L. et al. (2009). From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science [Online] 253:3-21. Available at: http://doi.org/10.1016/j.entcs.2009.09.025.
Bocchi, L. and Ciancarini, P. (2006). On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science [Online] 160:113-126. Available at: http://doi.org/10.1016/j.entcs.2006.05.018.
Bocchi, L. and Wischik, L. (2004). A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science [Online] 105:119-132. Available at: http://doi.org/10.1016/j.entcs.2004.05.003.
Book section
Bocchi, L. et al. (2007). On the Impact of AOSE in Service-Oriented Computing. in: Emerging Methods, Technologies, and Process Management in Software Engineering. Wiley-IEEE Computer Society, pp. 69-83. Available at: http://doi.org/10.1002/9780470238103.ch4.
Bocchi, L. and Ciancarini, P. (2003). A Perspective on Multiagent Coordination Models. in: Communication in Multiagent Systems. Springer, pp. 146-163. Available at: http://doi.org/10.1007/978-3-540-44972-0_7.
Conference or workshop item
Bocchi, L., Yoshida, N. and Lange, J. (2015). Meeting Deadlines Together. in: Aceto, L. and de Frutos-Escrig, D. eds. International Conference on Concurrency Theory (CONCUR). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 283-296. Available at: http://drops.dagstuhl.de/opus/volltexte/2015/5383/.
Bocchi, L. and Melgratti, H. (2014). On the Behaviour of General-Purpose Applications on Cloud Storages. in: 11th International Workshop on Web Services and Formal Methods (WSFM). Springer, pp. 29-47. Available at: http://dx.doi.org/10.1007/978-3-319-08260-8_3.
Bocchi, L., Yang, W. and Yoshida, N. (2014). Timed Multiparty Session Types. in: Baldan, P. and Gorla, D. eds. International Conference on Concurrency Theory (CONCUR). Springer, pp. 419-434. Available at: http://dx.doi.org/10.1007/978-3-662-44584-6_29.
Neykova, R., Bocchi, L. and Yoshida, N. (2014). Timed Runtime Monitoring for Multiparty Conversations. in: 3rd International Workshop on Behavioural Types (BEAT). pp. 19-26. Available at: http://dx.doi.org/10.4204/EPTCS.162.3.
Bocchi, L., Melgratti, H. and Tuosto, E. (2014). Resolving Non-Determinism in Choreographies. in: European Symposium on Programming (ESOP). Springer, pp. 493-512. Available at: http://dx.doi.org/10.1007/978-3-642-54833-8_26.
Bocchi, L. and Demangeon, R. (2013). Embedding Session Types in HML. in: Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES). pp. 53-62. Available at: http://dx.doi.org/10.4204/EPTCS.137.5.
Bocchi, L. et al. (2013). Monitoring Networks through Multiparty Session Types. in: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE). Springer, pp. 50-65. Available at: http://dx.doi.org/10.1007/978-3-642-38592-6_5.
Chen, T. et al. (2012). Asynchronous Distributed Monitoring for Multiparty Session Enforcement. in: 6th International Symposium on Trustworthy Global Computing (TGC). Springer, pp. 25-45. Available at: http://doi.org/10.1007/978-3-642-30065-3_2.
Bocchi, L., Lange, J. and Tuosto, E. (2011). Amending Contracts for Choreographies. in: 4th Interaction and Concurrency Experience (ICE). pp. 111-129. Available at: http://doi.org/10.4204/EPTCS.59.10.
Azmat, F., Bocchi, L. and Fiadeiro, J. (2011). Early Model-Analysis of Logistics Systems. in: 2nd International Workshop on Service Oriented Computing in Logistics (SOC-LOG). Springer, pp. 225-236. Available at: http://doi.org/10.1007/978-3-642-19394-1_25.
Bocchi, L. et al. (2010). BPMN Modelling of Services with Dynamically Reconfigurable Transactions. in: 8th International Conference on Service-Oriented Computing (ICSOC). Springer, pp. 396-410. Available at: http://doi.org/10.1007/978-3-642-17358-5_27.
Bocchi, L. et al. (2010). A Theory of Design-by-Contract for Distributed Multiparty Interactions. in: 21th International Conference on Concurrency Theory (CONCUR). Springer, pp. 162-176. Available at: http://doi.org/10.1007/978-3-642-15375-4_12.
Bocchi, L. and Tuosto, E. (2010). Testing Attribute-Based Transactions in SOC. in: International Conference on Formal Techniques for Distributed Systems (FORTE). Springer, pp. 87-94. Available at: http://doi.org/10.1007/978-3-642-13464-7_8.
Bocchi, L. et al. (2010). Structure and Behaviour of Virtual Organisation Breeding Environments. in: 2nd Workshop on Formal Aspects of Virtual Organisations (FAVO). pp. 26-40. Available at: http://doi.org/10.4204/EPTCS.16.3.
Bocchi, L. and Tuosto, E. (2010). A Java Inspired Semantics for Transactions in SOC. in: 5th International Symposium on Trustworthy Global Computing (TGC). Springer, pp. 120-134. Available at: http://doi.org/10.1007/978-3-642-15640-3_9.
Bocchi, L., Gorton, S. and Reiff-Marganiec, S. (2008). Engineering Service Oriented Applications: From StPowla Processes to SRML Models. in: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008. Springer, pp. 163-178. Available at: http://doi.org/10.1007/978-3-540-78743-3_13.
Bocchi, L. et al. (2008). From BPEL to SRML: A Formal Transformational Approach. in: 4th International Workshop, WS-FM 2007. Springer, pp. 92-107. Available at: http://doi.org/10.1007/978-3-540-79230-7_7.
Bocchi, L., Fiadeiro, J. and Lopes, A. (2008). Service-Oriented Modelling of Automotive Systems. in: IEEE Computer Society, pp. 1059-1064. Available at: http://doi.org/10.1109/COMPSAC.2008.228.
Abreu, J. et al. (2007). Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. in: 27th IFIP WG 6.1 International Conference. Springer, pp. 358-373. Available at: http://doi.org/10.1007/978-3-540-73196-2_23.
Fiadeiro, J., Lopes, A. and Bocchi, L. (2006). A Formal Approach to Service Component Architecture. in: Third International Workshop, WS-FM 2006. Springer, pp. 193-213. Available at: http://doi.org/10.1007/11841197_13.
Bocchi, L. and Lucchi, R. (2006). Atomic Commit and Negotiation in Service Oriented Computing. in: 8th International Conference on Coordination Languages and Models 2006. Springer, pp. 16-27. Available at: http://doi.org/10.1007/11767954_2.
Bocchi, L. et al. (2005). An OWL-S based approach to express grid services coordination. in: The 20th Annual ACM Symposium on Applied Computing - SAC 2005. ACM, pp. 1661-1667. Available at: http://doi.org/10.1145/1066677.1067054.
Bocchi, L., Ciancarini, P. and Rossi, D. (2005). Transactional Aspects in Semantic Based Discovery of Services. in: 7th International Conference on Coordination Languages and Models, COORDINATION 2005. Springer, pp. 283-297. Available at: http://doi.org/10.1007/11417019_19.
Bocchi, L. (2004). Compositional Nested Long Running Transactions. in: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004. Springer, pp. 194-208. Available at: http://doi.org/10.1007/978-3-540-24721-0_14.
Bocchi, L., Laneve, C. and Zavattaro, G. (2003). A Calculus for Long-Running Transactions. in: 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003. Springer, pp. 124-138. Available at: http://doi.org/10.1007/978-3-540-39958-2_9.
Total publications in KAR: 39 [See all in KAR]

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 23/10/2017