Six Diverso Lab Contributions Accepted at VARIABILITY 2026
Diverso Lab is proud to share that six of our contributions have been accepted for VARIABILITY 2026, the International Conference on Software and Systems Reuse, Product Lines, and Configuration. This first edition of the conference brings together three long-standing venues in the field, SPLC, VaMoS and ICSR, and will take place in Limassol, Cyprus, from 29 September to 2 October 2026.Our accepted work spans the main track, the journal-first track and the MODEVAR workshop, and reflects the breadth of our research on variability modelling, automated analysis and the Universal Variability Language (UVL).Main TrackAutomated Analysis of UVL using Satisfiability Modulo Theories, by José Miguel Horcas, Francisco S. Benítez, José A. Galindo and David Benavides. This paper presents our advances in using the Z3 solver for the automated analysis of feature models,…









