| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kaan Berk Yaman, Jan Willem Wittler, Christopher Gerking |
Kfeature: Rendering the Kconfig System into Feature Models.  |
VaMoS  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer |
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher |
A Demonstration of End-User Code Customization Using Generative AI. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Meixner, Kevin Feichtinger, Sandra Greiner 0001, Rick Rabiser |
On Configuration Sequences in Feature Models. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard May 0003, Christian Biermann, Xenia Marlene Zerweck, Kai Ludwig 0001, Jacob Krüger, Thomas Leich |
Vulnerably (Mis)Configured? Exploring 10 Years of Developers' Q&As on Stack Overflow. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Fortz, Paul Temple, Xavier Devroey, Gilles Perrouin |
Towards Feature-based ML-enabled Behaviour Location. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard May 0003, Kerstin Denecke |
Conversational Agents in Healthcare: A Variability Perspective. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm |
Explaining Edits to Variability Annotations in Evolving Software Product Lines. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Franziskus Hönig, Domenik Eichhorn |
Grammars for Feature Models. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Timo Kehrer, Marianne Huchard, Leopoldo Teixeira, Christian Birchler (eds.) |
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2024, Bern, Switzerland, February 7-9, 2024 |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Greiner 0001, Klaus Schmid, Thorsten Berger, Sebastian Krieter, Kristof Meixner |
Generative AI And Software Variability - A Research Vision. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Heisinger, Florian Piminger, Martina Seidl |
From Decision Models To User-Guiding Configurators Using SMT. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina Böhm, Sebastian Krieter, Tobias Heß, Thomas Thüm, Malte Lochau |
Incremental Identification of T-Wise Feature Interactions. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Zellmer, Lennart Holsten, Richard May 0003, Thomas Leich |
A Practitioners Perspective on Addressing Cyber Security and Variability Challenges in Modern Automotive Systems. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Klikovits, Alessio Gambi, Deepak Dhungana, Rick Rabiser |
Leveraging Software Product Lines for Testing Autonomous Vehicles. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Heß, Tim Jannik Schmidt, Lukas Ostheimer, Sebastian Krieter, Thomas Thüm |
UnWise: High T-Wise Coverage from Uniform Sampling. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau |
Sampling Cardinality-Based Feature Models. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Jost, Carsten Sinz |
Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | David Romero-Organvidez, David Benavides 0001, José Miguel Horcas, María Teresa Gómez-López |
Variability in data transformation: towards data migration product lines. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Martou, Benoît Duhoux, Kim Mens, Axel Legay |
Combinatorial Transition Testing in Dynamically Adaptive Systems. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Grünbacher, Markus Neuwirth |
Towards Feature-based Versioning for Musicological Research. |
VaMoS |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Holsten, Christian Frank, Jacob Krüger, Thomas Leich |
Electrics/Electronics Platforms in the Automotive Industry: Challenges and Directions for Variant-Rich Systems Engineering. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher, Luc Lesoil, Georges Aaron Randrianaina, Xhevahire Tërnava, Olivier Zendra |
A Call for Removing Variability. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Bossu |
Variability and Complexity: Automotive Product Line Management as a Constraint Satisfaction Problem. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Weber |
Generating Documents with FeatureIDE and pandoc. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanna C. S. Bettin, Julio Budiski Herculani, Amanda Melo, Luiz C. M. Andrade, Edson OliveiraJr |
Efficacy, Efficiency and Effectiveness of SMarty-based Software Product Line Inspection Techniques: a Controlled Quasi-Experiment. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl 0001, Ina Schaefer |
Coverage-Driven Test Automation for Highly-Configurable Railway Systems. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin |
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Fischer 0006, Gabriela Karoline Michelon, Wesley K. G. Assunção, Rudolf Ramler, Alexander Egyed |
Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Temple, Gilles Perrouin |
Explicit or Implicit? On Feature Engineering for ML-based Variability-intensive Systems. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Myra B. Cohen, Thomas Thüm, Jacopo Mauro (eds.) |
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023 |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shubham Sharma, Hafiyyan Sayyid Fadhlillah, Antonio Manuel Gutiérrez-Fernández, Rick Rabiser, Alois Zoitl |
Modularization Technique to Support Software Variability in Cyber-Physical Production Systems. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Hoff, Christoph Seidl 0001, Michele Lanza |
Uniquifying Architecture Visualization through Variable 3D Model Generation. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Georges, Liam Rice, Marianne Huchard, Mélanie König, Clémentine Nebut, Chouki Tibermacine |
Guiding Feature Models Synthesis from User-Stories: An Exploratory Approach. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Antonio Manuel Gutiérrez-Fernández, Rick Rabiser |
Dynamic Product Configuration User Interface: A Vision Motivated by the Cyber-Physical Production Systems Domain. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schultheiß, Paul Maximilian Bittner, Sandra Greiner 0001, Timo Kehrer |
Benchmark Generation with VEVOS: A Coverage Analysis of Evolution Scenarios in Variant-Rich Systems. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Di Sandro, Ramy Shahin, Marsha Chechik |
Adding Product-Line Capabilities to Your Favourite Modeling Language. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marsha Chechik |
Defining, Analyzing, Querying and Assuring Product Line Models. |
VaMoS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Greiner 0001, Michael Nieke, Christoph Seidl 0001 |
Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Pierantonio |
Uncertainty and Variability in Industry-scale Projects: Pearls, Perils, and Pitfalls of Model-Driven Engineering at Work. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Grünbacher |
A Study on Variability for Multi-Device Rendering in Digital Music Publishing. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Meixner, Kevin Feichtinger, Rick Rabiser, Stefan Biffl |
Efficient Production Process Variability Exploration. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Lesoil, Hugo Martin 0003, Mathieu Acher, Arnaud Blouin, Jean-Marc Jézéquel |
Transferring Performance between Distinct Configurable Systems : A Case Study. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Kristof Meixner, Lisa Sonnleithner, Rick Rabiser, Alois Zoitl |
Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production Systems. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sami Lazreg, Vladyslav Bohlachov, Loveneesh Rana, Andreas Hein 0003, Maxime Cordy |
Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Xhevahire Tërnava, Luc Lesoil, Georges Aaron Randrianaina, Djamel Eddine Khelladi, Mathieu Acher |
On the Interaction of Feature Toggles. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher |
Reproducible Science and Deep Software Variability. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl 0001 |
Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl 0001, Ina Schaefer |
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ratzenböck, Paul Grünbacher, Wesley K. G. Assunção, Alexander Egyed, Lukas Linsbauer |
Refactoring Product Lines by Replaying Version Histories. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Arcaini, Xavier Devroey, Alessandro Fantechi (eds.) |
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022 |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofia Ananieva, Sandra Greiner 0001, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Thomas Kühn 0001, Christoph Seidl 0001, Ralf H. Reussner |
Unified Operations for Variability in Space and Time. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer |
Verification Strategies for Feature-Oriented Software Product Lines. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Forlingieri |
The four dimensions of Variability and their impact on MBPLE: How to approach variability in the development of aircraft product lines at Airbus. |
VaMoS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Maya Retno Ayu Setyautami, Reiner Hähnle |
An Architectural Pattern to Realize Multi Software Product Lines in Java. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer |
Hyper Explanations for Feature-Model Defect Analysis. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bressan, André Luíz de Oliveira, Fernanda Campos, Rafael Capilla |
A variability modeling and transformation approach for safety-critical systems. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Felfernig, Viet Man Le, Andrei Popescu 0005, Mathias Uta, Thi Ngoc Trang Tran, Müslüm Atas |
An Overview of Recommender Systems and Machine Learning in Feature Modeling and Configuration. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Greiner 0001, Bernhard Westfechtel |
On Preserving Variability Consistency in Multiple Models. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Wimmer |
From Model Versioning to Variability-Augmented Modelling Technologies. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrik Göttmann, Isabelle Bacher, Nicolas Gottwald, Malte Lochau |
Static Analysis Techniques for Efficient Consistency Checking of Real-Time-Aware DSPL Specifications. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Karoline Michelon, Lukas Linsbauer, Wesley K. G. Assunção, Stefan Fischer 0006, Alexander Egyed |
A Hybrid Feature Location Technique for Re-engineeringSingle Systems into Software Product Lines. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anjali Sree-Kumar, Elena Planas, Robert Clarisó |
Validating Feature Models With Respect to Textual Product Line Specifications. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Fischer 0006, Rudolf Ramler, Claus Klammer, Rick Rabiser |
Testing of Highly Configurable Cyber-Physical Systems - A Multiple Case Study. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Grünbacher, Christoph Seidl 0001, Deepak Dhungana, Helena Lovasz-Bukvova (eds.) |
VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, Virtual Event / Krems, Austria, February 9-11, 2021 |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer |
Applications of #SAT Solvers on Feature Models. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer |
Stability of Product-Line Samplingin Continuous Integration. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Sobernig, Olaf Leßenich |
v1e: A Kernel for Domain-specific Textual Variability Modelling Languages. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Leandro Flores da Silva, Edson Oliveira Jr. |
SMartyModeling: an Environment for Engineering UML-based Software Product Lines. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Herwig Schreiner |
Totally Integrated Automation and Variability - The Siemens Way towards a Digital Enterprise. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Lesoil, Mathieu Acher, Arnaud Blouin, Jean-Marc Jézéquel |
Deep Software Variability: Towards Handling Cross-Layer Configuration. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Parisa Ataei, Qiaoran Li, Eric Walkingshaw |
Should Variation Be Encoded Explicitly in Databases? |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Feichtinger, Johann Stöbich, Dario Romano, Rick Rabiser |
TRAVART: An Approach for Transforming Variability Models. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacopo Mauro |
Anomaly detection in Context-aware Feature Models. |
VaMoS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fischer Ferreira, Gustavo Vale, João Paulo Diniz, Eduardo Figueiredo 0001 |
On the proposal and evaluation of a test-enriched dataset for configurable systems. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Edilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens |
STARS: software technology for adaptable and reusable systems PhD research project. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Mortara, Xhevahire Tërnava, Philippe Collet |
Mapping features to automatically identified object-oriented variability implementations: the case of ArgoUML-SPL. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Dorn, Sven Apel, Norbert Siegmund |
Generating attributed variability models for transfer learning. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Krüger, Thorsten Berger |
Activities and costs of re-engineering cloned variants into an integrated platform. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Krüger, Sebastian Krieter, Gunter Saake, Thomas Leich |
EXtracting product lines from vAriaNTs (EXPLANT). |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Christian Kirchhof, Bernhard Rumpe, David Schmalzing, Andreas Wortmann 0001 |
Structurally evolving component-port-connector architectures of centrally controlled systems. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Wasowski |
Dependency bugs: the dark side of variability, reuse and modularity. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha El-Sharkawy, Adam Krafczyk, Klaus Schmid |
Fast static analyses of software product lines: an example with more than 42, 000 metrics. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer |
SMT-based variability analyses in FeatureIDE. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Ludwig 0001, Jacob Krüger, Thomas Leich |
FeatureCoPP: unfolding preprocessor variability. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin |
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Greiner 0001, Bernhard Westfechtel |
Towards iterative software product line engineering with incremental multi-variant model transformations. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lea Gerling, Klaus Schmid |
Syntax-preserving slicing of C-based software product lines: an experience report. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Reuling, Christopher Pietsch, Udo Kelter, Timo Kehrer |
Towards projectional editing for model-based SPLs. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake (eds.) |
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020 |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelly Bencomo |
Next steps in variability management due to autonomous behaviour and runtime learning. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Schlingloff, Peter M. Kruse, Mehrdad Saadatmand |
Excellence in variant testing. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Schlie, Sandro Schulze, Ina Schaefer |
Recovering variability information from source code of clone-and-own software systems. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Wardah Mahmood, Moses Chagama, Thorsten Berger, Regina Hebig |
Causes of merge conflicts: a case study of ElasticSearch. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Birte Caesar |
Engineering support for variability modeling for context-sensitive reconfiguration of collaborative manufacturing systems. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy Kenner, Stephan Dassow, Christian Lausberger, Jacob Krüger, Thomas Leich |
Using variability modeling to support security evaluations: virtualizing the right attack scenarios. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chico Sundermann, Thomas Thüm, Ina Schaefer |
Evaluating #SAT solvers on industrial feature models. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer |
Variational correctness-by-construction. |
VaMoS |
2020 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license