Robotics

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System
Formal Aspects of Computing, 2025. To appear.
Preprint Cite Project DOI Artifact
Analysing Self-Adaptive Systems as Software Product Lines
Journal of Systems and Software 222: 112324, April 2025.
Preprint Cite Project DOI Artifact
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 DOI
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 DOI
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
Behavior Trees and State Machines in Robotics Applications
IEEE Transactions on Software Engineering 49 (9), Sept. 2023.
Preprint Cite DOI Github arXiv.org Artifact
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
Proc. SEAMS 2023. IEEE/ACM 2023.
Cite Project Video DOI arXiv.org Github
Behavior Trees in Action: A Study of Robotics Applications
Proc. SLE 2020. ACM Press 2020.
Preprint Cite Video DOI arXiv.org