Institute of Software Engineering and Programming Languages

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

  • B.Sc. Sean Duft
  • B.Sc. Niklas Hoehne
  • 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

2023

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
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://arxiv.org/pdf/2303.12383
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
File: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
File: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
File: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
File: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
File: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
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf

Theses

2023

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:pdfhttps://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/39874/thesis_netzer.pdf

Project Lead

Project Associates