REMARO

A Configurable Software Model of a Self-Adaptive Robotic System
Science of Computer Programming 240: 103221, 2025.
Preprint Cite Project DOI Github Artifact
Mutation-Based Integration Testing of Knowledge Graph Applications
Proc. ISSRE 2024. IEEE 2024.
Preprint Cite Code Project
Mutation-Based Integration Testing of Knowledge Graph Applications
Risk-Averse Planning and Plan Assessment for Marine Robots
Proc. IROS 2024. IEEE 2024.
Preprint Cite Code Project
Risk-Averse Planning and Plan Assessment for Marine Robots
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Proc. iFM 2023. LNCS 14300. Springer 2023.
Preprint Cite Project DOI arXiv.org Artifact
Formal Modelling and Analysis of a Self-Adaptive Robotic System
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
A Formal Model of Metacontrol in Maude
Proc. ISoLA 2022. LNCS 13701, Springer 2022.
Preprint Cite Project DOI