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
- 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,
Dec.
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,
May
2023.
| DOI: | 10.18725/OPARU-49385 |
| File: |  https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/49461/Masterthesis_Betz.pdf |
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: | 10.18725/OPARU-39798 |
| File: | https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf |
Publications
2024
20.
C. Sundermann,
V. F. Brancaccio,
E. Kuiter,
S. Krieter,
T. Heß and
T. Thüm,
"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: | 10.1145/3646548.3672590 |
19.
C. Sundermann,
T. Heß,
R. Sundermann,
E. Kuiter,
S. Krieter and
T. Thüm,
"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: | 10.1145/3646548.3676602 |
18.
T. Heß,
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: | 10.1145/3646548.3676550 |
| ISBN: | 9798400705939 |
17.
C. Sundermann,
E. Kuiter,
T. Heß,
H. Raab,
S. Krieter and
T. Thüm,
"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: | 10.1145/3646548.3676540 |
16.
T. Heß,
S. N. Semmler,
C. Sundermann,
J. Toran and
T. Thüm,
"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: | 10.1145/3646548.3672598 |
| ISBN: | 9798400705939 |
15.
C. Sundermann,
T. Heß,
M. Nieke,
P. M. Bittner,
J. M. Young,
T. Thüm 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: | 10.18420/sw2024_18 |
| ISBN: | 978-3-88579-737-1 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf |
14.
E. Kuiter,
T. Heß,
C. Sundermann,
S. Krieter,
T. Thüm 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: | 10.1145/3634713.3634733 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf |
13.
S. Böhm,
S. Krieter,
T. Heß,
T. Thüm 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: | 10.1145/3634713.3634715 |
| ISBN: | 9798400708770 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Boehm.pdf |
12.
T. Heß,
T. J. Schmidt,
L. Ostheimer,
S. Krieter and
T. Thüm,
"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: | 10.1145/3634713.3634716 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf |
11.
T. Heß,
L. Ostheimer,
T. Betz,
S. Karrer,
T. J. Schmidt,
P. Coquet,
S. Semmler and
T. Thüm,
"variability.dev: Towards an Online Toolbox for Feature Modeling"
in Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear),
Feb.
2024.
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-MODEVAR-Hess.pdf |
10.
C. Sundermann,
H. Raab,
T. Heß,
T. Thüm and
I. Schaefer,
"Reusing d-DNNFs for Efficient Feature-Model Counting",
Trans. on Software Engineering and Methodology (TOSEM) (To Appear),
2024.
ACM.
2023
9.
C. Sundermann,
E. Kuiter,
T. Heß,
H. Raab,
S. Krieter and
T. Thüm,
"On the Benefits of Knowledge Compilation for Feature-Model Analyses",
Annals of Mathematics and Artificial Intelligence (AMAI),
Nov.
2023.
Springer.
| DOI: | 10.1007/s10472-023-09906-6 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf |
8.
T. Pett,
T. Heß,
S. Krieter,
T. Thüm 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: | 10.1145/3579027.3608980 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Pett.pdf |
7.
C. Sundermann,
H. Raab,
T. Heß,
T. Thüm and
I. Schaefer,
"Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models" ,
Technical Report arXiv:2303.12383,
Mar.
2023.
| DOI: | 10.48550/arXiv.2303.12383 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-TR-Sundermann.pdf |
6.
C. Sundermann,
T. Heß,
M. Nieke,
P. M. Bittner,
J. M. Young,
T. Thüm and
I. Schaefer,
"Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces",
Empirical Software Engineering (EMSE),
pp. 38,
Jan.
2023.
Springer.
| DOI: | 10.1007/s10664-022-10265-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf |
2022
5.
T. Heß,
T. Müller,
C. Sundermann and
T. Thüm,
"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: | 10.1145/3503229.3547032 |
| ISBN: | 9781450392068 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf |
2021
4.
S. Krieter,
R. Arens,
M. Nieke,
C. Sundermann,
T. Heß,
T. Thüm 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: | 10.1145/3461001.3471148 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf |
3.
C. Sundermann,
T. Heß,
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: | 10.1145/3461002.3473940 |
| ISBN: | 9781450384704 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf |
2.
T. Heß,
C. Sundermann and
T. Thüm,
"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: | 10.1145/3461001.3474452 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf |
1.
C. Sundermann,
M. Nieke,
P. M. Bittner,
T. Heß,
T. Thüm 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: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf |
Project Lead
M.Sc. Tobias Heß
M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group
Team
M.Sc. Chico Sundermann
M.Sc.
Chico
Sundermann
Research Assistant
Ulm University
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
Institute of Software Engineering and Programming Languages
Albert-Einstein-Allee 11
89069
Ulm
Germany