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. FCPP to aggregate them all;Science of Computer Programming;2024-01
3. Parallelising an Aggregate Programming Framework with Message-Passing Interface;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25
4. Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks;Lecture Notes in Computer Science;2023
5. Aggregate Drone Monitoring of Wildfires;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12