Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems
Published in FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 2025
This paper introduces a variant of the two phase commit protocol for implementing AbU’s transactional semantics on a generic publisher/subscriber middleware.
Recommended citation: Comini, M., Gemolotto, L., Miculan, M. (2025). Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. In: Ferreira, C., Mezzina, C.A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2025. Lecture Notes in Computer Science, vol 15732. Springer, Cham. https://doi.org/10.1007/978-3-031-95497-9_6
Download Paper
talks
Workshop proceedings on the Brigantine Project
Published:
EMRA is a workshop on Marine Robotics and its applications, where researches, industry, users and stakeholders meet. I was invited to talk about and represent the “Chemico-Physical and Multispectral Data Fusion via Autonomous Vessel – Brigantine” project. Brigantine is about fusing chemico-physical data, gathered by classic CTD sensor arrays with multispectral data taken by specialized photo cameras. You can find the slides of the presentation here.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.