VaMoS

Publications

2024

Sandra Greiner, Klaus Schmid, Thorsten Berger, Sebastian Krieter, Kristof Meixner
Generative AI And Software Variability - A Research Vision. VaMoS (2024)
Sophie Fortz, Paul Temple, Xavier Devroey, Gilles Perrouin
Towards Feature-based ML-enabled Behaviour Location. VaMoS (2024)
Florian Jost, Carsten Sinz
Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. VaMoS (2024)
Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau
Incremental Identification of T-Wise Feature Interactions. VaMoS (2024)
Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau
Sampling Cardinality-Based Feature Models. VaMoS (2024)
Philipp Zellmer, Lennart Holsten, Richard May, Thomas Leich
A Practitioners Perspective on Addressing Cyber Security and Variability Challenges in Modern Automotive Systems. VaMoS (2024)
Elias Kuiter, Tobias Heß, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Gunter Saake
How Easy is SAT-Based Analysis of a Feature Model? VaMoS (2024)
Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm
UnWise: High T-Wise Coverage from Uniform Sampling. VaMoS (2024)
Kaan Berk Yaman, Jan Willem Wittler, Christopher Gerking
Kfeature: Rendering the Kconfig System into Feature Models. VaMoS (2024)
Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay
Combinatorial Transition Testing in Dynamically Adaptive Systems. VaMoS (2024)
Richard May, Kerstin Denecke
Conversational Agents in Healthcare: A Variability Perspective. VaMoS (2024)
Stefan Klikovits, Alessio Gambi, Deepak Dhungana, Rick Rabiser
Leveraging Software Product Lines for Testing Autonomous Vehicles. VaMoS (2024)
Michael Franziskus Hönig, Domenik Eichhorn
Grammars for Feature Models. VaMoS (2024)
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024 VaMoS (2024)
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. VaMoS (2024)
Mathieu Acher
A Demonstration of End-User Code Customization Using Generative AI. VaMoS (2024)
Maximilian Heisinger, Florian Piminger, Martina Seidl
From Decision Models To User-Guiding Configurators Using SMT. VaMoS (2024)
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. VaMoS (2024)
David Romero-Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez-López
Variability in data transformation: towards data migration product lines. VaMoS (2024)
Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS (2024)
Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS (2024)
Paul Grünbacher, Markus Neuwirth
Towards Feature-based Versioning for Musicological Research. VaMoS (2024)
Kristof Meixner, Kevin Feichtinger, Sandra Greiner, Rick Rabiser
On Configuration Sequences in Feature Models. VaMoS (2024)

2023

2022