1. Real-Time Guarantees for SLCS Monitors in XC;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
2. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
3. The eXchange Calculus (XC): A functional programming language design for distributed collective systems;Journal of Systems and Software;2024-04
4. FCPP to aggregate them all;Science of Computer Programming;2024-01
5. An Enhanced Exchange Operator for XC;Lecture Notes in Computer Science;2024