Research PapersVARIABILITY 2026
This page contains the Call for Papers of the research track and additional information.
Tue 29 SepDisplayed time zone: Athens change
08:30 - 17:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Wed 30 SepDisplayed time zone: Athens change
08:30 - 18:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Feature Modeling FoundationsJournal First / Project Showcase / Social and Networking Events / Industry Track / Research Papers at PANORAMA Chair(s): Xhevahire Tërnava LTCI, Télécom Paris, Institut Polytechnique de Paris, France | ||
11:00 22mTalk | Enabling SAT-based Analysis of Cardinality-Based Feature Models By Unfolding Research Papers Lukas Güthing Karlsruhe Institute of Technology | ||
11:22 22mTalk | Reconstruction of Cardinality Constraints for Multi-Instance Configuration Spaces Research Papers | ||
11:45 22mTalk | Towards Decentralized Feature Models Research Papers Mukelabai Mukelabai Ruhr University Bochum, Johan Martinson Ruhr University Bochum, Wardah Mahmood Chalmers | University of Gothenburg, Rafael Capilla Universidad Rey Juan Carlos, Thorsten Berger Ruhr University Bochum | ||
12:07 15mTalk | FM-PRO: A Feature Modeling Process Journal First Thorsten Berger Ruhr University Bochum, Jude Gyimah , Johan Martinson Ruhr University Bochum, Wardah Mahmood Chalmers | University of Gothenburg | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:06 | Variability in Industrial and Cyber-Physical SystemsJournal First / Project Showcase / Social and Networking Events / Industry Track / Research Papers at PANORAMA Chair(s): Martin Becker Fraunhofer IESE | ||
16:00 22mTalk | Is it Satisfiable? SMT-Based Consistency Checking in Variability-Intensive Cyber-Physical Production Systems Research Papers Malte Grave CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Fabio Baraldi , Lisa Sonnleithner CDL VaSiCS, LIT CPS Lab, Johannes Kepler University Linz, Rick Rabiser LIT CPS, Johannes Kepler University Linz | ||
16:22 22mTalk | Towards Consistent, Variability-Aware Views in Systems Development Research Papers Fabian Eger Karlsruhe Institute of Technology, Lars König Karlsruhe Institute of Technology (KIT), Thomas Weber Karlsruhe Institute of Technology (KIT), Dirk Neumann Karlsruhe KIT, Kevin Feichtinger Karlsruhe Institute of Technology (KIT), Erik Burger Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI) | ||
16:44 22mTalk | Understanding Variability Evolution in Automotive Product Lines - Insights from Volkswagen Industry Track Richard von Esebeck , Yannick Lindebauer , Laura Berger , Thomas Thüm TU Braunschweig, Thomas Vietor | ||
19:00 - 20:30 | |||
19:00 90mSocial Event | VARIABILITY 2026 Reception Social and Networking Events | ||
Thu 1 OctDisplayed time zone: Athens change
08:30 - 17:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:06 | |||
11:00 22mTalk | Do LLMs Know UVL? Quantifying Factual Knowledge and Generative Capabilities in Variability Engineering Research Papers José Miguel Horcas Aguilera Universidad de Málaga, Joaquin Ballesteros , Mónica Pinto Universidad de Málaga, Lidia Fuentes Universidad de Málaga, Spain | ||
11:22 22mTalk | Investigating LLMs for Feature Presence Prediction in Software Products Research Papers Guillaume Nguyen University of Namur, Paolo Arcaini Simula Research Laboratory, Maxime Cordy University of Luxembourg, Luxembourg, Xavier Devroey University of Namur, Fuyuki Ishikawa National Institute of Informatics Pre-print | ||
11:44 22mTalk | LLM-assisted Code Generation and Reuse: An Exploratory Study on Contextual Information Research Papers | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Assurance, Testing and OptimizationResearch Papers / Project Showcase at PANORAMA Chair(s): Alexander Felfernig Graz University of Technology | ||
14:00 22mTalk | Combining Constraint Programming and Simulated Annealing for Test Configuration Selection Research Papers | ||
14:22 22mTalk | Family-Based Vulnerability Discovery for Highly-Configurable Software Systems Research Papers | ||
14:45 22mTalk | Taming the Trade-off: Efficiency vs. Quality in N-Way Model Matching Research Papers Jonas Spieler University of Bern, Roman Bögli University of Bern, Stephan Weiss , Timo Kehrer University of Bern | ||
15:07 15mTalk | SMAUG: System-Level Modelling and Optimized Use of Disruptive Memory Technologies Project Showcase Birte Friesel Osnabrück University, Marcel Lütke Dreimann Osnabrück University, Olaf Spinczyk Universität Osnabrück DOI Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:00 | Most Influential Paper AwardsMIP Award at PANORAMA Chair(s): Thorsten Berger Ruhr University Bochum, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
16:00 30mAwards | Using machine learning to infer constraints for product lines MIP Award Paul Temple IRISA, José A Galindo University of Seville, Mathieu Acher INSA; University of Rennes; Inria; CNRS; IRISA, Jean-Marc Jézéquel Univ Rennes, IUF, INRIA, CNRS, IRISA Link to publication DOI | ||
16:30 30mAwards | FeatureIDE: An extensible framework for feature-oriented software development MIP Award Thomas Thüm TU Braunschweig, Christian Kästner Carnegie Mellon University, Fabian Benduhn , Jens Meinicke Carnegie Mellon University, USA, Gunter Saake University of Magdeburg, Germany, Thomas Leich Harz University of Applied Sciences, Germany Link to publication DOI | ||
17:00 - 18:00 | Townhall MeetingSocial and Networking Events at PANORAMA Chair(s): Thorsten Berger Ruhr University Bochum, George Angelos Papadopoulos University of Cyprus, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
17:00 60mMeeting | Townhall Meeting Social and Networking Events | ||
18:30 - 23:00 | |||
18:30 4h30mSocial Event | VARIABILITY 2026 Gala Dinner Social and Networking Events | ||
Fri 2 OctDisplayed time zone: Athens change
08:30 - 17:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Analysis, Reasoning and Configuration SpacesResearch Papers at PANORAMA Chair(s): Frederic Loulergue Université d'Orléans | ||
11:00 22mTalk | Automated Analysis of UVL using Satisfiability Modulo Theories Research Papers José Miguel Horcas Aguilera Universidad de Málaga, Francisco S. Benitez , José A Galindo University of Seville, David Benavides Universidad de Sevilla | ||
11:22 22mTalk | MONOPOLY: Product Line Analysis via Monotonicity Research Papers Logan Murphy University of Toronto, Marc Carwehl Humboldt-Universität zu Berlin, Juliane Päßler , Marsha Chechik University of Toronto | ||
11:45 22mTalk | Reasoning about variability models through network analysis Research Papers José Manuel Sánchez Ruiz , Miguel Olivero University of Sevilla, Ruben Heradio UNED (Universidad Nacional de Educacion a Distancia), Luis Cambelo UNED (Universidad Nacional de Educacion a Distancia), David Fernandez-Amoros UNED | ||
12:07 22mTalk | Uniform Retainment Sampling for Evolving Software Configuration Spaces Research Papers Nikolai Käfer TU Dresden, Sven Apel Saarland University, Christel Baier TU Dresden, Germany, Clemens Dubslaff Eindhoven University of Technology, Holger Hermanns Saarland University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 16:45 | Plaforms and ReproducibilityIndustry Track / Research Papers / Project Showcase at PANORAMA Chair(s): David Benavides Universidad de Sevilla | ||
16:00 15mTalk | Controlling Variability in Neuroimaging Analysis Pipelines with Software Product Lines Research Papers Gauthier Le Bartz Lyan , Paul Temple IRISA, Boris Clénet , Mathieu Acher INSA; University of Rennes; Inria; CNRS; IRISA | ||
16:15 15mTalk | Configurable Industrial AI Agent Families: A Case Study of Manufacturing Root Cause Analysis Agents Industry Track | ||
16:30 15mTalk | MARGoS: A Configuration-Driven Platform for Reproducible MARL Experiments in ARGoS Project Showcase Tom Backert University of Luebeck, Mohammad D. Soorati University of Southampton, Javad Ghofrani Bonn-Rhein-Sieg University of Applied Sciences, Germany | ||
16:45 - 17:00 | Farewell & Next VARIABILITY Editions Closing at PANORAMA Chair(s): Thorsten Berger Ruhr University Bochum, George Angelos Papadopoulos University of Cyprus, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
16:45 15mDay closing | Closing Closing Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, George Angelos Papadopoulos University of Cyprus, Thorsten Berger Ruhr University Bochum | ||
Accepted Papers
Call for Papers
The International Conference on Software and Systems Reuse, Product Lines, and Configuration (VARIABILITY 2026) invites high-quality contributions from researchers and practitioners in software engineering, systems engineering, and related disciplines focussing on a broad spectrum of methods, concepts, and tools for variability. VARIABILITY aims to be the premier forum for the exchange of ideas, experiences, and results in all aspects of software and systems variability management, reuse, software configuration, and customization.
As software and systems become increasingly configurable, reusable, and adaptable, managing their variability across all lifecycle phases is more critical—and more challenging—than ever. VARIABILITY 2026 seeks to bring together the diverse communities that address these challenges from theoretical, technical, and practical perspectives.
VARIABILITY results from a merge of three prominent conferences focussing on software and systems variability, configuration and reuse: SPLC (the International Systems and Software Product Line Conference, 29 successful editions), VaMoS (the International Working Conference on Variability Modelling of Software-Intensive Systems, 19 successful editions), and ICSR (the International Conference on Systems and Software Reuse, 22 successful editions).
VARIABILITY is by design open as a conference. It welcomes new fields of variability-intensive research, such as artificial intelligence, hybrid software-hardware systems, etc. For this first edition of VARIABILITY, we strive to continue the success of the predecessor conferences ICSR, SPLC, and VaMoS by welcoming high-quality submissions for the research track in numerous closely related areas, such as systems and software product lines, systems and software reuse, configurable systems and software, product configuration, and systems and software variability. We will award the best research paper and the best artifact paper.
Topics of Interest
We invite contributions on variability management, reuse, and configuration across all phases of the software and systems lifecycle. The topics of interest include, but are not limited to:
Requirements & Domain Engineering
- Domain analysis and variability modeling
- Decision modeling and support
- Customization and personalization specification
- Requirements variability and traceability
Architecture & Design
- Variability-aware software architectures
- Architecture-centric product line engineering
- Model-driven engineering (MDE)
- Multi-product lines, program families, product lines of product lines, software ecosystems
Implementation & Code Generation
- Generative programming and code synthesis
- Modularization techniques for reusable code
- Programming languages and frameworks for variability
- Open-source strategies for software reuse
Testing, Verification & Quality Assurance
- Testing and analysis of configurable systems
- Safety and security in variable systems
- Formal Methods for Software Product Lines
- Non-functional properties: quality-aware analysis, quality-driven configuration
- Reuse in testing, verification, and quality assurance
Evolution, Maintenance & Operation
- Refactoring and restructuring of configurable systems
- Reverse engineering, variability mining, and refactoring
- Runtime variability and dynamic (software) product lines
- Maintenance strategies for large-scale reused systems
- Variability in DevOps and CI/CD pipelines
AI and Data-Driven Methods
- Machine learning for variability management
- AI-assisted product configuration
- Data and repository mining from product lines and configuration histories
- Recommendation systems for reuse and customization
Submission Guidelines
Paper Types
We invite the following types of submissions:
- Full Papers (up to 18 pages excluding references): Research papers must present original, unpublished work with validated results through empirical evaluation, formal analysis, or implementation-based experiments. Submissions must clearly articulate the problem, its relevance, the proposed contribution, and validation results.
- Short Papers (6 - 8 pages excluding references): Short papers present early-stage research, novel ideas, or conceptual proposals that are not yet fully developed or validated but offer promising directions. These papers should articulate the vision, motivation, and potential impact.
Formatting
Papers must use the Springer LNCS template according to: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
Springer provides author guidelines that should be consulted for further details: https://resource-preview-cms.springernature.com/springer-cms/rest/v1/content/19242230/data/v17
Paper Originality, Double-Anonymous Policy, Reviewing
All papers must be original and not under review elsewhere. Submissions will be double-anonymous and reviewed by at least three experts. Submissions will be evaluated based on their novelty, relevance, rigor, transparency, and presentation. Authors of submissions to the first deadline might be invited to submit a revision of their papers to the second deadline, which will be reviewed as a revision. Accepted papers will appear in the VARIABILITY 2026 Proceedings which will be published as a Springer LNCS volume.
Revisions
Research-track papers can be submitted to the first or second cycle. In the first cycle, papers can receive the following decisions: accept, revision, or reject. Revision means that the reviewers believe that the paper has potential, but that its quality or contribution is not yet ready for publication. Such papers are offered lightweight shepherding by a community member, who is not necessarily a PC member or reviewer. Revised papers should be submitted to the second cycle together with a response letter, explaining how the reviewer comments were addressed. They are then reviewed by the same PC members. Papers rejected in the first cycle can be resubmitted in the second cycle, but need to contain an appendix “Changes to First-Cycle Submission” at the end of the PDF (after references, regardless of the page limit) that lists the major changes in bullet-point format.Best Paper Awards
Springer will sponsor the awards for bet papers with an overall amount of €1000.