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)
Wednesday Thursday Friday
Registration

–

(open all day)

Opening

–

Registration

–

(open all day)
Registration

–

(open all day)
Keynote 1

–

Data-intensive product lines: embracing past results and new variability challenges (David Benavides)
Keynote 2

–

The 20-year journey of SPLE in Hitachi and the next (Hideto Ogawa, Kentaro Yoshimura)
Keynote 3

–

Chronicles of Concept lattices: Unveiling Structure in the Software World (Marianne Huchard)
Variability Management I

–

MIP award talk

–

Townhall meeting

–

Coffee Break

–

Coffee Break

–

Coffee Break

–

Analysis, Refactoring and Tools I

–

Variability Realization & Tools II

–

Verification & Testing

–

Lunch

–

Lunch

–

Lunch

–

Variability Management II

–

Panel – Intelligent SPLs

–

Feature Model Analysis & Evolution Approaches

–

Hall of fame and closing

–

Coffee Break

–

(incl. tool live demonstrations)
Coffee Break

–

(incl. tool live demonstrations)
AI & Novel Paradigms

–

Presentation of results of the industrial workshop

–

20+ years PLE – Did we change the world? (Sponsor Talk by Danilo Beuche)

–

Reception

–

Leisure time

–

(at Happo-En)
Banquet

–

(at Happo-En)

Banquet

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

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

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

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

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

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

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

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