Work

Configuring BDD Compilation Techniques for Feature Models

Year: 2024

Type: conference-paper

Abstract: The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable systems analysis. Many large-scale feature models have been reported to exceed state-of-the-art compilation capabilities, e.g., for variants of the Linux kernel product line. However, experiments have been mainly conducted on standard settings of the BDD compilers themselves, not taking advanced configurations into account.

DOI: 10.1145/3646548.3676538

Authors: Clemens Dubslaff, Nils Husung, Nikolai Käfer

Institutions: Centre for Tactile Internet with Human-in-the-Loop, Eindhoven University of Technology, Saarland University, Technische Universität Dresden

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funder: Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Award: Quasi Decision Diagrams for Symbolic Verification and Explainability

OpenAlex ID: W4401455385

FWCI: 3.038

Cites: 37

Cited by: 10

Related to: 10