Main Conference: Detailed Program

All times are in the Japan Standard Time JST (UTC +9)

Author / Presenter Information

  • 20 min for Full Papers in Research/Industry track
  • 15 min for Journal First /Solution/short papers
  • 10 min for Tool demo papers (Demo papers will get additional time for informal presentations during the following break)

Session Details

Session 1: Variability Management I (Chair: Mohammad Mousavi)


  • Taming the Diversity of Computational Notebooks. Yann Brault, Yassine El Amraoui, Mireille Blay-Fornarino, Philippe Collet, Florent Jaillet and Frédéric Precioso

  • A Comparison of Visualization Concepts and Tools for Variant-Rich System Engineering. Siyue Chen, Loek Cleophas and Jacob Krüger

Session 2: Analysis, Refactoring and Tools I (Chair: Jacob Krüger)


  • Reusing Your Favourite Analysis Framework to Handle Workflows of Product Line Models. Logan Murphy, Alessio Di Sandro, Ramy Shahin and Marsha Chechik

  • Views on Edits to Variational Software. Paul Maximilian Bittner, Alexander Schultheiß, Sandra Greiner, Benjamin Moosherr, Sebastian Krieter, Christof Tinnes, Timo Kehrer and Thomas Thüm

  • Code-Level Functional Equivalence Checking of Annotative Software Product Lines. Shuolin Wang, Nick Feng and Marsha Chechik

  • GIS-Publisher: From a Geographic Data Set to a Deployed Product with One Command. David de Castro Celard, Alejandro Cortiñas, Victor Lamas and Miguel Rodríguez Luaces

  • FLAMA. A collaborative effort to build a new framework for the automated analysis of feature models. José A. Galindo, José Miguel Horcas Aguilera, Alexander Felfernig, David Fernandez-Amoros and David Benavides

  • The e4CompareFramework: Annotation-based Software Product-Line Extraction. Kamil Rosiak and Ina Schaefer

  • Generating Pairwise Covering Arrays for Highly Configurable Software Systems. Chuan Luo, Jianping Song, Qiyuan Zhao, Yibei Li, Shaowei Cai and Chunming Hu

Session 3: Variability Management II (Chair: José A. Galindo)


  • VariantInc: Automatically Pruning and Integrating Versioned Software Variants. Sebastian Krieter, Jacob Krüger, Thomas Leich and Gunter Saake

  • True Variability Shining Through Taxonomy Mining. Christoph König, Loek Cleophas, Kamil Rosiak and Ina Schaefer

  • Managing Cyber-Physical Production Systems Variability using V4rdiac: Industrial Experiences. Hafiyyan Sayyid Fadhlillah, Antonio Manuel Gutierrez, Rick Rabiser and Alois Zoitl

  • Balancing Variability and Costs in Software Product Lines: An Experience Report in Safety-Critical Systems. Udo Knop, Peter Hofman, Michael Mihatsch and Martin Siegmund

  • Software Variability in Service Robots (Summary) Sergio García, Daniel Strüber, Davide Brugali, Alessandro Di Fava, Philipp Schillinger, Patrizio Pelliccione and Thorsten Berger

Session 4: AI & Novel Paradigms (Chair: Luca Paolini)


  • Quantum Computing for Feature Model Analysis: Potentials and Challenges. Domenik Eichhorn, Tobias Pett, Tobias Osborne and Ina Schaefer

  • On Programming Variability with Large Language Model-based Assistant. Mathieu Acher, Jean-Marc Jézéquel and José A. Galindo

  • Large Language Models to generate meaningful feature model instances. José A. Galindo, Antonio J Dominguez, Jules White and David Benavides

  • VariMod: A Structured Approach to Variability in 3D Modelling. Jef Jacobs, Jens Nicolay and Wolfgang De Meuter

  • Product-Structuring Concepts for Automotive Platforms: A Systematic Mapping Study. Philipp Zellmer, Lennart Holsten, Thomas Leich and Jacob Krüger

  • Managing Variability of Logistics Robot System: Experience at Hitachi. Kentaro Yoshimura, Yuta Yamauchi and Hideo Takahashi

Session 5: Variability Realization & Tools II (Wesley K. G. Assuncao)


  • Deltas for Functional Programs with Algebraic Data Types. Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt and Luca Paolini

  • An Action-based Model to Handle Cloning and Adaptation in Tabular Data Applications. Nassim Bounouas, Mireille Blay-Fornarino and Philippe Collet

  • Approaching Pattern Catalogues for Variability Realization in Model-Based Systems and Software Engineering. Andreas Pollom, Martin Becker, Philippe Barbie, Shubha Kikkeri Tumalla, Markus Andres and Robert Hellebrand

  • UVLParser: Extending UVL with Language Levels and Conversion Strategies. Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo and David Benavides

  • UVLS: A Language Server Protocol For UVL. Jacob Loth, Chico Sundermann, Tobias Schrull, Thilo Brugger, Felix Rieg and Thomas Thüm

  • PYDOP: A Generic Python Library for Delta-Oriented Programming. Michael Lienhardt

  • InTra: Automatic Reduction of Model Complexity and Generation of System Variants – A Tool Demonstration. Philippe Barbie, Vasil Tenev and Martin Becker

Session 6: Verification & Testing (Tomoji Kishi)


  • Family-based model checking of fMultiLTL properties. Aleksandar Dimovski, Sami Lazreg, Maxime Cordy and Axel Legay

  • Feature-oriented Test Case Selection during Evolution of High-Configurable Systems. Willian Douglas Ferrari Mendonça, Wesley K. G. Assunção and Silvia Regina Vergilio

  • Continuous T-Wise Coverage. Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm and Ina Schaefer

  • Test Scenario Generation for Feature-Based Context-Oriented Software Systems. Pierre Martou, Kim Mens, Benoît Duhoux and Axel Legay

  • Model-based Testing for a Family of Mobile Applications: Industrial Experiences. Stefan Fischer, Rudolf Ramler, Wesley K. G. Assunção, Alexander Egyed, Christian Gradl and Sebastian Auberger

Session 7: Feature Model Analysis & Evolution Approaches (Chair: Mathieu Acher)


  • Belief-Driven Software Product Line Development and Evolution. Lola Burgueño, José Miguel Horcas and Jörg Kienzle

  • Analysis Operations On The Run: Beyond Static Feature Model Analysis. Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José Zamudio and Damian Garber

  • Adapting the Database to Feature Changes in Software Product Lines. Alejandro Cortiñas, Miguel Rodríguez Luaces, Oscar Pedreira and Ángeles S. Places

  • Elimination of constraints for parallel analysis of feature models. José Miguel Horcas, Joaquín Ballesteros, Mónica Pinto and Lidia Fuentes

  • How to Retire and Replace a Software Product Line. Alejandro Cortiñas, Jacob Krüger, Victor Lamas, Oscar Pedreira and Miguel R. Luaces