International Center for Computational Logic - Benutzerbeiträge [de]

Article3115

2025-10-30T11:55:53Z

Nikolai Käfer: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Clemens |ErsterAutorNachname=Dubslaff |FurtherAuthors=Nils Husung; Nikolai Käfer }} {{Article |Referiert=1 |Title=Tailoring binary decision diagram compilation for feature models |To appear=0 |Year=2025 |Journal=Journal of Systems and Software |Volume=231 }} {{Publikation Details |Abstract=The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable…“

{{Publikation Erster Autor
|ErsterAutorVorname=Clemens
|ErsterAutorNachname=Dubslaff
|FurtherAuthors=Nils Husung; Nikolai Käfer
}}
{{Article
|Referiert=1
|Title=Tailoring binary decision diagram compilation for feature models
|To appear=0
|Year=2025
|Journal=Journal of Systems and Software
|Volume=231
}}
{{Publikation Details
|Abstract=The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable systems analysis. For many large-scale feature models such as the variants of the prominent Linux product line, BDDs could not yet be obtained due to exceeding state-of-the-art compilation capabilities. Until now, BDD compilation has been mainly considered on standard settings of existing BDD tools, barely exploiting advanced techniques or tuning parameters. In this article, we conduct a comprehensive study on how to configure various techniques from the literature and thus improve compilation performance for feature models given in conjunctive normal form. Specifically, we evaluate preprocessing for satisfiability solving (SAT), variable and clause ordering heuristics, as well as non-standard and multi-threaded BDD construction schemes. Our experiments on recent feature models demonstrate that BDD compilation of feature models greatly benefits from these techniques. We show that our methods enable BDD compilations of many large-scale feature models within seconds, including the whole eCos feature model collection for which a compilation was previously infeasible.
|ISSN=0164-1212
|DOI Name=10.1016/j.jss.2025.112566
|Projekt=CPEC
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
}}

Inproceedings1511262239

2025-10-30T11:49:07Z

Nikolai Käfer: en-dash fix

{{Publikation Erster Autor
|ErsterAutorVorname= Nikolai
|ErsterAutorNachname=Käfer
}}
{{Inproceedings
|Title=CPrAA – A Checker for Probabilistic Abstract Argumentation
|Booktitle=Frontiers in Artificial Intelligence and Applications
|Editor=Toni, Francesca and Polberg, Sylwia and Booth, Richard and Caminada, Martin and Kido, Hiroyuki
|Year=2022
|Publisher=IOS Press
}}
{{Publikation Details
|DOI Name=10.3233/FAIA220172
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
}}

Inproceedings3416

2025-06-06T10:57:03Z

Nikolai Käfer: Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nikolai |ErsterAutorNachname=Käfer |FurtherAuthors=Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns }} {{Inproceedings |Referiert=1 |Title=When to Sample from Feature Diagrams? |To appear=0 |Year=2025 |Month=Mai |Booktitle=Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems |Pages=11-20 |Publisher=Association for Computing Machinery |Ser…“

{{Publikation Erster Autor
|ErsterAutorVorname=Nikolai
|ErsterAutorNachname=Käfer
|FurtherAuthors=Sven Apel; Christel Baier; Clemens Dubslaff; Holger Hermanns
}}
{{Inproceedings
|Referiert=1
|Title=When to Sample from Feature Diagrams?
|To appear=0
|Year=2025
|Month=Mai
|Booktitle=Proceedings of the 19th International Working Conference on Variability Modelling of Software-Intensive Systems
|Pages=11-20
|Publisher=Association for Computing Machinery
|Series=VaMoS '25
}}
{{Publikation Details
|DOI Name=10.1145/3715340.3715442
|Projekt=CPEC
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
|BibTex=@inproceedings{kafer.etal_2025,
title = {When to {{Sample}} from {{Feature Diagrams}}?},
booktitle = {Proceedings of the 19th {{International Working Conference}} on {{Variability Modelling}} of {{Software-Intensive Systems}}},
author = {Käfer, Nikolai and Apel, Sven and Baier, Christel and Dubslaff, Clemens and Hermanns, Holger},
year = {2025},
month = may,
series = {{{VaMoS}} '25},
pages = {11--20},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
doi = {10.1145/3715340.3715442},
abstract = {Uniform random sampling (URS) has many applications in configurable systems analysis. Usually, feature models consisting of a hierarchical feature diagram and additional side constraints specify the space of valid configurations to be sampled from. However, URS has predominately been applied on feature models translated a priori into conjunctive normal form (CNF). In this work, we study URS approaches that instead operate directly on feature diagrams and provide a comparative evaluation of their performance against well-established URS tools for CNF representations. Our findings suggest that translating feature models to CNF offers advantages, even in the presence of only few side constraints.},
isbn = {9798400714412}
}
}}

Nikolai Käfer

2025-06-06T10:52:38Z

Nikolai Käfer: Abschlussarbeiten anzeigen

{{Mitarbeiter
|Vorname=Nikolai
|Nachname=Käfer
|Forschungsgruppe=Algebraische und logische Grundlagen der Informatik
|Stellung=Doktorand
|Ehemaliger=0
|Email=nikolai.kaefer@tu-dresden.de
|Raum=APB 3007
|Bild=5L0A6772.jpg
|DBLP=https://dblp.org/pid/305/2943.html
|Google Scholar=https://scholar.google.de/citations?user=WlrvF_QAAAAJ
|Publikationen anzeigen=1
|Abschlussarbeiten anzeigen=1
}}