VaMoS 2025 will have two exciting keynotes, an awards’ session, and numerous talks for technical papers, tool demonstration, experience reports, and new and controversial ideas… and of course french-style social events in the beautiful city of Rennes as well as in the large Inria/IRISA research center.

VaMoS will start February 3 with MODEVAR and the conference per se will held February 4, February 5, and February 6. Location on Google maps: https://maps.app.goo.gl/tBPgDtbrSxpXa8mbA

Program Overview

Keynotes

Variability in brain imaging studies across different analysis pipelines by Camille Maumet (Inria)

February 4

When a change in analysis methods leads to different results, what does it mean for our research findings? In this presentation, I will discuss reproducibility in the field of brain imaging (also known as neuroimaging). Neuroimaging studies are characterized by a very large analysis space, and practitioners usually have to choose between different software, software versions, algorithms, parameters, etc. For many years, these choices have been regarded as implementation details, but it is becoming increasingly clear that the exact choices of analytical strategy can lead to different and sometimes contradictory results. I will review our recent efforts to better understand and manage the different sources of this analytical variability.

Camille Maumet is a research scientist in neuroinformatics at the Empenn team, Inria Rennes Bretagne Atlantique / IRISA. She studies neuroimaging reproducibility. Her current research focuses on the variability of analytical pipelines and its impact on our ability to reuse (and use) brain imaging datasets. She is also an open science advocate and participates actively in international communities including Brainhack, the INCF, and OHBM Open Science SIG.

Model-Based PLE and Variability Modeling - Which is Yin and which is Yang? by Hugo Guillermo Chale-Gongora (Airbus)

February 5

Variability management and modelling (VM) undoubtedly plays a central role in feature-based and model-based product line engineering (MBPLE). VM alone, however, is far from guaranteeing an effective deployment of a product line approach in large organizations. This presentation will dig into the (long) journey undergone by many organizations when trying to implement product line engineering, and propose a return of experience about the right questions to ask regarding variability management and modelling. From this, a holistic approach to MBPLE that “aligns all the stars” (marketing, business analysis, architecting, design and engineering) will be proposed.

Hugo Guillermo Chale-Gongora is the Head of PLE & Multidisciplinary Analysis and Optimisation at Airbus.

Conference Program

Monday, February 3

08:30 - 09:00

Registration

09:00 - 09:05

MODEVAR

09:05 - 10:30

Keynote: Jean-Marc Jézéquel
The Search for the GREAL

10:30 - 11:00

Break

11:00 - 12:30

Lightning Talks

  • Michael Neike - Modeling with Configuration Logics with Feature Precedences
  • José Ángel Galindo Duarte - Exploring the UVL Ecosystem: Tools, Techniques, and Collaboration
  • Sebastian Kiefer - Variability Modeling with UVL: Tutorial & Demonstration

12:30 - 13:30

Lunch Break

13:30 - 14:15

Preparing Breakout Group

14:15 - 15:30

Breakout Discussion

15:30 - 16:00

Break

16:00 - 16:30

Summary of Breakout Groups

16:30 - 17:00

Next Steps and Final Remarks / Closing

Tuesday, February 4

08:30 - 09:00

Registration

09:00 - 09:30

Welcome by VaMoS General Chair and PC Chairs (30 min)

09:30 - 10:30

Session 1: Keynote: Camille Maumet (Inria)
(Session chair: Philippe Collet) Variability in brain imaging studies across different analysis pipelines (60 min)

10:30 - 11:00

Break

11:00 - 12:30

Session 2: Behaviour & Learning
(Session chair: Gilles Perrouin)

  • Birte Friesel and Olaf Spinczyk Performance-Aware Behaviour Models for Feature-Dependent Runtime Attributes in Product Lines (New and Controversial Ideas) Discussant: Michael Mittermaier
  • Tom Felber and Sebastian Götz - Behavioral Programming in the Large Using Variability Management (New and Controversial Ideas) Discussant: Birte Friesel
  • Michael Mittermaier, Takfarinas Saber and Goetz Botterweck - Applying Graph Neural Networks to Learn Graph Configuration Spaces (Technical Papers) Discussant: Sebastian Götz

12:30 - 13:30

Lunch Break

13:30 - 15:00

Session 3: Misc.
(Session chair: José Miguel Horcas)

  • Elias Kuiter, Thomas Thüm and Timo Kehrer - Teach Variability! A Modern University Course on Software Product Lines (Technical Papers) Discussant: Richard May
  • Richard May, Christian Biermann, Jacob Krüger and Thomas Leich - Asking Security Practitioners: Did You Find the Vulnerable (Mis)Configuration? (Technical Papers) Discussant: José A. Galindo
  • Francisco Sebastian Benitez, José A. Galindo, David Romero Organvídez and David Benavides - UVL web-based editing and analysis with flamapy.ide (Tool, Demo, and Experience Report Papers) Discussant: Elias Kuiter

15:00 - 15:30

Break

15:30 - 18:00

Social Event (in the campus and at Inria)

Visit of the IMMERSIA and the RAINBOW IRISA platforms

18:00 - 19:00

Reception (in the Inria hall)

Wednesday, February 5

08:30 - 09:00

Registration

09:30 - 10:30

Session 4: Keynote: Hugo Guillermo Chale-Gongora (Airbus)
(Session chair: ??) Model-Based PLE and Variability Modeling - Which is Yin and which is Yang? (60 min)

10:00 - 10:30

Break

11:00 - 12:30

Session 5: Sampling
(Session chair: José A. Galindo)

  • Lukas Birkemeyer, Tobias Pett, Tobias Runge, and Ina Schaefer - Selective Sampling: A Complexity-Aware Sampling Strategy for Combinatorial Scenario-based Testing (Technical Papers) Discussant: Nikolai Käfer
  • Rahel Sundermann, Sabrina Böhm, Sebastian Krieter, Malte Lochau, and Thomas Thüm - Covering T-Wise Interactions of Deployed Configurations (Technical Papers) Discussant: Lukas Birkemeyer
  • Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, and Holger Hermanns - When to Sample from Feature Diagrams? (Technical Papers) Discussant: Sebastian Krieter

12:30 - 13:30

Lunch Break

13:30 - 15:00

Session 6: Cloud & Virtualization
(Session chair: Jude Gyimah)

  • Tobias Bergthaler, Matthias Preuner, Paul Grünbacher, and Alexander Egyed - Providing the Variation Control System ECCO as a Service (Tool, Demo, and Experience Report Papers) Discussant: José Miguel Horcas
  • Tobias Fellner and Paul Grünbacher - Cross-Vendor Variability Management for Cloud Systems Using the TOSCA DSL (Technical Papers) Discussant: Mathieu Acher
  • José Miguel Horcas Aguilera, Mercedes Amor Pinilla, and Lidia Fuentes - The Kubernetes Variability Model (Technical Papers) Discussant: Paul Grünbacher

15:00 - 15:30

Break

15:30 - 17:00

Session 7: Applications
(Session chair: ??)

  • Pascal Becker, Sten Gruener, and Lukas Linsbauer - Analyzing SCons-Based Industrial Software Product Lines (Tool, Demo, and Experience Report Papers) Discussant: Sulthan Fathurrahman Tsany
  • Richard May and Simon Adler - Experiences in Developing Configurable Digital Twin-assisted xR Applications for Industrial Environments (Tool, Demo, and Experience Report Papers) Discussant: Pascal Becker
  • Victor Lamas, Maria-Isabel Limaylla-Lunarejo, Miguel R. Luaces, David Romero-Organvidez, José A. Galindo, and David Benavides - UVL.js: Experiences on using UVL in the JavaScript Ecosystem (Tool, Demo, and Experience Report Papers) Discussant: Richard May
  • Sultan Fathurrahman Tsany, Rifqi Farel Muhammad, Dhafin Raditya Juliawan, Maya Retno Ayu Setyautami, and Ichlasul Affan - Delta-Oriented Multi-Level Configuration in Payment Gateway Product Lines (Tool, Demo, and Experience Report Papers) Discussant: Victor Lamas

VaMoS dinner at 19:00

Restaurant Taverne de la Marine: meet at Lobby Inria or at the restaurant. The restaurant is closed to “République” station (you can typically take bus C4 or C6) https://maps.app.goo.gl/u3SWE37KiAW23dN17

Thursday, February 6

08:30 - 09:00

Registration

09:30 - 10:30

Session 8: VaMoS Keynote
(Session chair: ??) MIP Award - Sandro Schulze, Wolfram Fenske

10:30 - 11:00

Break

11:00 - 12:30

Session 9: Configuration & Analyses
(Session chair: ??)

  • Max Breit, Mathis Weiß, Roman Obermaisser, and Malte Lochau - Modeling and Analysis of Configurable Job-Shop Scheduling Problems (Technical Papers) Discussant: Jude Gyimah
  • Alexander Felfernig, Damian Garber, Viet-Man Le, and Sebastian Lubos - Causality-based Explanations for Feature Model Configuration (Technical Papers) Discussant: Mathis Weiß
  • Jude Gyimah, Jan Sollmann, Ole Schuerks, Patrick Franz, and Thorsten Berger - A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export (Tool, Demo, and Experience Report Papers) Discussant: Damian Garber

12:30 - 13:00

Closing (with food)

List of accepted papers

Technical Papers

  • Elias Kuiter, Thomas Thüm, Timo Kehrer: Teach Variability! A Modern University Course on Software Product Lines
  • Nikolai Käfer, Sven Apel, Christel Baier, Clemens Dubslaff, Holger Hermanns: When to Sample from Feature Diagrams?
  • Rahel Sundermann, Sabrina Böhm, Sebastian Krieter, Malte Lochau, Thomas Thüm: Covering T-Wise Interactions of Deployed Configurations
  • Richard May, Christian Biermann, Jacob Krüger, Thomas Leich: Asking Security Practitioners: Did You Find the Vulnerable (Mis)Configuration?
  • Lukas Birkemeyer, Tobias Pett, Tobias Runge, Ina Schaefer: Selective Sampling: A Complexity-Aware Sampling Strategy for Combinatorial Scenario-based Testing
  • Tobias Fellner, Paul Grünbacher: Cross-Vendor Variability Management for Cloud Systems Using the TOSCA DSL
  • José Miguel Horcas Aguilera, Mercedes Amor Pinilla, Lidia Fuentes: The Kubernetes variability model
  • Michael Mittermaier, Takfarinas Saber, Goetz Botterweck: Applying Graph Neural Networks to Learn Graph Configuration Spaces
  • Max Breit, Mathis Weiß, Roman Obermaisser, Malte Lochau: Modeling and Analysis of Configurable Job-Shop Scheduling Problems
  • Alexander Felfernig, Damian Garber, Viet-Man Le, Sebastian Lubos: Causality-based Explanations for Feature Model Configuration

Tool, Demo, and Experience Report Papers

  • Jude Gyimah, Jan Sollmann, Ole Schuerks, Patrick Franz, Thorsten Berger: A Demo of ConfigFix: Semantic Abstraction of Kconfig, SAT-based Configuration, and DIMACS Export
  • Pascal Becker, Sten Gruener, Lukas Linsbauer: Analyzing SCons-Based Industrial Software Product Lines
  • Tobias Bergthaler, Matthias Preuner, Paul Grünbacher, Alexander Egyed: Providing the Variation Control System ECCO as a Service
  • Richard May, Simon Adler: Experiences in Developing Configurable Digital Twin-assisted xR Applications for Industrial Environments
  • Victor Lamas, Maria-Isabel Limaylla-Lunarejo, Miguel R. Luaces, David Romero-Organvidez, José A. Galindo, David Benavides: UVL.js: Experiences on using UVL in the JavaScript Ecosystem
  • Sultan Fathurrahman Tsany, Rifqi Farel Muhammad, Dhafin Raditya Juliawan, Maya Retno Ayu Setyautami, Ichlasul Affan: Delta-Oriented Multi-Level Configuration in Payment Gateway Product Lines
  • Francisco Sebastian Benitez, José A. Galindo, David Romero Organvídez, David Benavides: UVL web-based editing and analysis with flamapy.ide

New and Controversial Ideas

  • Tom Felber, Sebastian Götz: Behavioral Programming in the Large using Variability Management
  • Birte Friesel, Olaf Spinczyk: Performance-Aware Behaviour Models for Feature-Dependent Runtime Attributes in Product Lines