Self-Adaptive Systems

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 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