OBDDimal
The goal of the project "Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations" (OBDDimal, for short) focuses at its core on improving the scalability of binary decision diagrams (BDDs) and related data structures. Domains which would benefit from an increase in scalability are, among others, information visualization (e.g., interactive configurators), model analysis (e.g., feature-model analysis, static code analysis), and logic operations in general (e.g., negation of CNFs).
Student Members, Workers, and Projecteers
Tim Jannik Schmidt
____________________________Tim Jannik__________Schmidt_________
________- M.Sc. Tobias Betz
- M.Sc. Sebastian Budsa
- B.Sc. Pierre Coquet
- B.Sc. Sean Duft
- M.Sc. Lukas Harsch
- B.Sc. Niklas Hoehne
- M.Sc. Simon Karrer
- B.Sc. Konstantin Kistner
- B.Sc. Daniel Klier
- M.Sc. Eric Langenbucher
- B.Sc. Marc Lukas
- M.Sc. Tobias M眉ller
- B.Sc. Timo Netzer
- B.Sc. Jonas Otto
Theses
2024
9.
S. Semmler,
"Domain-Specific Variable Ordering for Compiling Binary Decision Diagrams from Feature Models",
Bachelor's Thesis,
University of Ulm,
Germany,
Jun.
2024.
2023
8.
R. Dunkel,
"One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT",
Bachelor's Thesis,
University of Ulm,
Germany,
Dez.
2023.
7.
S. Karrer,
"Interactive Product Configuration for Multiple Feature-Model Versions",
Master's Thesis,
University of Ulm,
Germany,
Jul.
2023.
6.
T. Betz,
"Analyzing Feature-Model Histories With Binary Decision Diagrams",
Master's Thesis,
University of Ulm,
Germany,
Mai
2023.
| DOI: | |
| Datei: |  |
5.
D. Klier,
"Hashing Strategies for Concurrent Building of Binary Decision Diagrams",
Bachelor's Thesis,
University of Ulm,
Germany,
Feb.
2023.
4.
E. Langenbucher,
"The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models",
Master's Thesis,
University of Ulm,
Germany,
Jan.
2023.
2022
3.
M. Lukas,
"A Survey of BDD-Based Tools for Points-To Analysis",
Bachelor's Thesis,
University of Ulm,
Germany,
Aug.
2022.
2.
K. Kistner,
"Survey and Evaluation of Dynamic Variable Ordering Heuristics for the Construction of Binary Decision Diagrams",
Bachelor's Thesis,
University of Ulm,
Germany,
Jan.
2022.
2021
1.
T. Netzer,
"Development of a Parallelized BDD Library in Rust",
Bachelor's Thesis,
University of Ulm,
Germany,
Jul.
2021.
| DOI: | |
| Datei: | |
Publications
2024
20.
C. Sundermann,
H. Raab,
T. 贬别脽,
T. 罢丑眉尘 and
I. Schaefer,
"Reusing d-DNNFs for Efficient Feature-Model Counting",
Trans. on Software Engineering and Methodology (TOSEM),
Nov.
2024.
ACM.
| DOI: |
19.
C. Sundermann,
V. F. Brancaccio,
E. Kuiter,
S. Krieter,
T. 贬别脽 and
T. 罢丑眉尘,
"Collecting Feature Models from the Literature: A Comprehensive Dataset for Benchmarking"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2024,
pp. 54-65.
| DOI: |
18.
C. Sundermann,
T. 贬别脽,
R. Sundermann,
E. Kuiter,
S. Krieter and
T. 罢丑眉尘,
"Generating Feature Models with UVL's Full Expressiveness"
in Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR),
New York, NY, USA:
ACM,
Sep.
2024,
pp. 61-65.
| DOI: |
17.
T. 贬别脽,
S. Karrer and
L. Ostheimer,
"Multi-Version Decision Propagation for Configuring Feature Models in Space and Time"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2024,
pp. 88-92.
| DOI: | |
| ISBN: | 9798400705939 |
16.
C. Sundermann,
E. Kuiter,
T. 贬别脽,
H. Raab,
S. Krieter and
T. 罢丑眉尘,
"On the Benefits of Knowledge Compilation for Feature-Model Analyses (Journal First)"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2024,
pp. 217.
| DOI: |
15.
T. 贬别脽,
S. N. Semmler,
C. Sundermann,
J. Toran and
T. 罢丑眉尘,
"Towards Deterministic Compilation of Binary Decision Diagrams From Feature Models"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2024,
pp. 136-147.
| DOI: | |
| ISBN: | 9798400705939 |
14.
C. Sundermann,
T. 贬别脽,
M. Nieke,
P. M. Bittner,
J. M. Young,
T. 罢丑眉尘 and
I. Schaefer,
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary"
in Proc. Software Engineering (SE),
Bonn, Germany:
Gesellschaft f眉r Informatik,
Feb.
2024,
pp. 67-68.
| DOI: | |
| ISBN: | 978-3-88579-737-1 |
| Datei: | |
13.
E. Kuiter,
T. 贬别脽,
C. Sundermann,
S. Krieter,
T. 罢丑眉尘 and
G. Saake,
"How Easy Is SAT-Based Analysis of a Feature Model?"
in Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
New York, NY, USA:
ACM,
Feb.
2024,
pp. 149-151.
| DOI: | |
| Datei: | |
12.
S. B枚hm,
S. Krieter,
T. 贬别脽,
T. 罢丑眉尘 and
M. Lochau,
"Incremental Identification of T-Wise Feature Interactions"
in Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
New York, NY, USA:
ACM,
Feb.
2024,
pp. 27-36.
| DOI: | |
| ISBN: | 9798400708770 |
| Datei: | |
11.
T. 贬别脽,
T. J. Schmidt,
L. Ostheimer,
S. Krieter and
T. 罢丑眉尘,
"UnWise: High T-Wise Coverage From Uniform Sampling"
in Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
New York, NY, USA:
ACM,
Feb.
2024,
pp. 37-45.
| DOI: | |
| Datei: | |
10.
T. 贬别脽,
L. Ostheimer,
T. Betz,
S. Karrer,
T. J. Schmidt,
P. Coquet,
S. Semmler and
T. 罢丑眉尘,
"variability.dev: Towards an Online Toolbox for Feature Modeling"
in Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear),
Feb.
2024.
| Datei: | |
2023
9.
C. Sundermann,
E. Kuiter,
T. 贬别脽,
H. Raab,
S. Krieter and
T. 罢丑眉尘,
"On the Benefits of Knowledge Compilation for Feature-Model Analyses",
Annals of Mathematics and Artificial Intelligence (AMAI),
pp. 1013-1050,
Nov.
2023.
Springer.
| DOI: | |
| Datei: | |
8.
T. Pett,
T. 贬别脽,
S. Krieter,
T. 罢丑眉尘 and
I. Schaefer,
"Continuous T-Wise Coverage"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Aug.
2023,
pp. 87-98.
| DOI: | |
| ISBN: | 9798400700910 |
| Datei: | |
7.
C. Sundermann,
H. Raab,
T. 贬别脽,
T. 罢丑眉尘 and
I. Schaefer,
"Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models" ,
Technical Report arXiv:2303.12383,
M盲.
2023.
| DOI: | |
| Datei: | |
6.
C. Sundermann,
T. 贬别脽,
M. Nieke,
P. M. Bittner,
J. M. Young,
T. 罢丑眉尘 and
I. Schaefer,
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces",
Empirical Software Engineering (EMSE),
pp. 38,
Jan.
2023.
Springer.
| DOI: | |
| Datei: | |
2022
5.
T. 贬别脽,
T. M眉ller,
C. Sundermann and
T. 罢丑眉尘,
"ddueruem: A Wrapper for Feature-Model Analysis Tools"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2022,
pp. 54-57.
| DOI: | |
| ISBN: | 9781450392068 |
| Datei: | |
2021
4.
S. Krieter,
R. Arens,
M. Nieke,
C. Sundermann,
T. 贬别脽,
T. 罢丑眉尘 and
C. Seidl,
"Incremental Construction of Modal Implication Graphs for Evolving Feature Models"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2021,
pp. 64-74.
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: | |
3.
C. Sundermann,
T. 贬别脽,
D. Engelhardt,
R. Arens,
J. Herschel,
K. Jedelhauser,
B. Jutz,
S. Krieter and
I. Schaefer,
"Integration of UVL in FeatureIDE"
in Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR),
New York, NY, USA:
ACM,
Sep.
2021,
pp. 73-79.
| DOI: | |
| ISBN: | 9781450384704 |
| Datei: | |
2.
T. 贬别脽,
C. Sundermann and
T. 罢丑眉尘,
"On the Scalability of Building Binary Decision Diagrams for Current Feature Models"
in Proc. Int'l Systems and Software Product Line Conf. (SPLC),
New York, NY, USA:
ACM,
Sep.
2021,
pp. 131-135.
| DOI: | |
| ISBN: | 9781450384698 |
| Datei: | |
1.
C. Sundermann,
M. Nieke,
P. M. Bittner,
T. 贬别脽,
T. 罢丑眉尘 and
I. Schaefer,
"Applications of #SAT Solvers on Feature Models"
in Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS),
New York, NY, USA:
ACM,
Feb.
2021.
| DOI: | |
| ISBN: | 9781450388245 |
| Datei: | |
Project Lead
M.Sc. Tobias 贬别脽
__________________M.Sc.__________Tobias__________贬别脽_________
________________
__Research Assistant_
______
__
SoftVarE Working Group
_______