


default search action
18th VaMoS 2024: Bern, Switzerland
- Timo Kehrer, Marianne Huchard, Leopoldo Teixeira, Christian Birchler:

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024. ACM 2024 - Pierre Martou

, Benoît Duhoux
, Kim Mens
, Axel Legay
:
Combinatorial Transition Testing in Dynamically Adaptive Systems. 1-10 - Maximilian Heisinger

, Florian Piminger
, Martina Seidl
:
From Decision Models To User-Guiding Configurators Using SMT. 11-16 - Maximilian Kodetzki

, Tabea Bordis
, Tobias Runge
, Ina Schaefer
:
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. 17-26 - Sabrina Böhm

, Sebastian Krieter
, Tobias Heß
, Thomas Thüm
, Malte Lochau
:
Incremental Identification of T-Wise Feature Interactions. 27-36 - Tobias Heß

, Tim Jannik Schmidt
, Lukas Ostheimer
, Sebastian Krieter
, Thomas Thüm
:
UnWise: High T-Wise Coverage from Uniform Sampling. 37-45 - Lukas Güthing

, Mathis Weiß
, Ina Schaefer
, Malte Lochau
:
Sampling Cardinality-Based Feature Models. 46-55 - Stefan Klikovits

, Alessio Gambi
, Deepak Dhungana
, Rick Rabiser
:
Leveraging Software Product Lines for Testing Autonomous Vehicles. 56-60 - Hafiyyan Sayyid Fadhlillah

, Maya Retno Ayu Setyautami
, Ilma Ainur Rohma
, Eko Kuswardono Budiardjo
:
Managing Customizable User Interface for Web Application Product Lines using Delta Modeling. 61-70 - Sandra Greiner

, Klaus Schmid
, Thorsten Berger
, Sebastian Krieter
, Kristof Meixner
:
Generative AI And Software Variability - A Research Vision. 71-76 - Paul Grünbacher

, Markus Neuwirth
:
Towards Feature-based Versioning for Musicological Research. 77-82 - David Romero-Organvidez

, David Benavides
, José Miguel Horcas
, María Teresa Gómez-López
:
Variability in data transformation: towards data migration product lines. 83-92 - Lukas Güthing

, Paul Maximilian Bittner
, Ina Schaefer
, Thomas Thüm
:
Explaining Edits to Variability Annotations in Evolving Software Product Lines. 93-102 - Florian Jost

, Carsten Sinz
:
Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. 103-111 - Richard May

, Christian Biermann
, Xenia Marlene Zerweck
, Kai Ludwig
, Jacob Krüger
, Thomas Leich
:
Vulnerably (Mis)Configured? Exploring 10 Years of Developers' Q&As on Stack Overflow. 112-122 - Richard May

, Kerstin Denecke
:
Conversational Agents in Healthcare: A Variability Perspective. 123-128 - Philipp Zellmer

, Lennart Holsten
, Richard May
, Thomas Leich
:
A Practitioners Perspective on Addressing Cyber Security and Variability Challenges in Modern Automotive Systems. 129-133 - Kaan Berk Yaman

, Jan Willem Wittler
, Christopher Gerking
:
Kfeature: Rendering the Kconfig System into Feature Models. 134-138 - Mathieu Acher

:
A Demonstration of End-User Code Customization Using Generative AI. 139-145 - Kristof Meixner

, Kevin Feichtinger
, Sandra Greiner
, Rick Rabiser
:
On Configuration Sequences in Feature Models. 146-148 - Elias Kuiter

, Tobias Heß
, Chico Sundermann
, Sebastian Krieter
, Thomas Thüm
, Gunter Saake
:
How Easy is SAT-Based Analysis of a Feature Model? 149-151 - Sophie Fortz

, Paul Temple
, Xavier Devroey
, Gilles Perrouin
:
Towards Feature-based ML-enabled Behaviour Location. 152-154 - Michael Franziskus Hönig

, Domenik Eichhorn
:
Grammars for Feature Models. 155-157

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














