1. 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
2. Combining Static and Runtime Verification with AC and Coq;Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution;2023-07-18
3. 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
4. Distributed runtime verification by past-CTL and the field calculus;Journal of Systems and Software;2022-05
5. Extensible 3D Simulation of Aggregated Systems with FCPP;Lecture Notes in Computer Science;2022