Software product lines

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