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)

Wednesday

  • –

    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)

Wednesday

  • –

    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)

Wednesday

  • –

    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)

Wednesday

  • –

    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)

Thursday

  • –

    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)

Friday

  • –

    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)

Friday

  • –

    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