Software Product Lines

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
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
Lazy Product Discovery in Huge Configuration Spaces
Proc ICSE 2020, ACM Press 2020
Preprint Cite Project Video DOI
A Transformational Proof System for Delta-Oriented Programming
Proc. FMSPLE 2012
Preprint Cite DOI
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language
Proc. SFM 2011
Preprint Cite DOI