Self-Adaptive Systems

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
Declarative Lifecycle Management in Digital Twins
Proc. 1st International Conference on Engineering Digital Twins (EDTconf 2024). ACM 2024.
Preprint Cite Video DOI Github
Declarative Lifecycle Management in Digital Twins
GreenhouseDT: An Exemplar for Digital Twins
Proc. SEAMS 2024. IEEE/ACM 2024.
Preprint Cite Code DOI
GreenhouseDT: An Exemplar for Digital Twins
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