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

Publications & Theses

Publications

2024

14.
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) (To Appear), Bonn, Germany: Gesellschaft für Informatik, Feb. 2024.
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf
13.
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
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf
12.
S. Boehm, S. Krieter, T. Heß, T. Thü and M. Lochau, "Incremental Identification of T-Wise Feature Interactions" in Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear), New York, NY, USA: ACM, Feb. 2024.
11.
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) (To Appear), New York, NY, USA: ACM, Feb. 2024.
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf
10.
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.

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) (To Appear), Okt. 2023. Springer.
Datei:pdfhttps://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
Datei:pdfhttps://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, Mä. 2023.
DOI:10.48550/arXiv.2303.12383
Datei:pdfhttps://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), Jan. 2023. Springer.
DOI:10.1007/s10664-022-10265-9
Datei:pdfhttps://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
Datei:pdfhttps://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
Datei:pdfhttps://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
Datei:pdfhttps://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
Datei:pdfhttps://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
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf

Theses

2023

8.
R. Dunkel, "One Solver to Rule All Feature Models - Or Not? Addressing the Algorithm Selection Problem for #SAT", Bachelor, University of Ulm, Germany, Dez. 2023.
7.
S. Karrer, "Interactive Product Configuration for Multiple Feature-Model Versions", Master, University of Ulm, Germany, Jul. 2023.
6.
T. Betz, "Analyzing Feature-Model Histories With Binary Decision Diagrams", Master, University of Ulm, Germany, Mai 2023.
DOI:10.18725/OPARU-49385
Datei:pdfhttps://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, University of Ulm, Germany, Feb. 2023.
4.
E. Langenbucher, "The Impact of Static Variable Ordering on Building BDDs for Real-World Feature Models", Master, University of Ulm, Germany, Jan. 2023.

2022

3.
M. Lukas, "A Survey of BDD-Based Tools for Points-To Analysis", Bachelor, 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, University of Ulm, Germany, Jan. 2022.

2021

1.
T. Netzer, "Development of a Parallelized BDD Library in Rust", Bachelor, University of Ulm, Germany, Jul. 2021.
DOI:10.18725/OPARU-39798
Datei:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf

Project Lead