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

Verification & Testing

Lunch

Lunch

Lunch

Variability Management II

Panel – Intelligent SPLs

Hall of fame and closing

Coffee Break

(incl. tool live demonstrations)

Coffee Break

(incl. tool live demonstrations)

AI & Novel Paradigms

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