Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations
M.Sc. Tobias Heß
At the core of my research lies the analysis of configurable systems by means of knowledge compilation, first and foremost binary decision diagrams. Therein, my research is aimed at improving the scalability of binary decision diagrams to enable the analysis of real-world systems. Naturally, I am also interested in the concrete problems (SAT, #SAT, QBF) the analyses are composed of.
Research Projects
Academic Service
I served as a (sub)reviewer for
- Journals: EMSE (A), TOSEM (A*)
- Other Journals: AUSE (B), SoSyM (B)
- Conferences: GPCE'21 (B), SPLC'21 (B), VaMoS'22, ISSTA'22 (A), SPLC'22 (B), ISSTA'23 (A), ICSE'24, VaMoS'24
I served as chair at
- VaMoS'23 (proceedings chair, publicity chair)
Teaching
Lectures, Projects, and Seminars
- Rahmenprogramm Proseminar (Academic Writing, LaTeX-Einführung)
- Software-Engineering Project (7 Students)
- Rahmenprogramm Proseminar (Academic Writing, LaTeX-Einführung)
- Software-Engineering Project (5 Students)
- Rahmenprogramm Proseminar (Academic Writing, LaTeX-Einführung)
- Software-Engineering Project (4 Students)
- Proseminar "Binary Decision Diagrams"
- Software-Engineering Project (3 Students)
- Functional Programming
- Software-Engineering Project (3 Students)
- Teaching Assistant, "Einführung in die Informatik 1 - Grundlagen" (Winter Terms 2018/2019, 2019/2020, 2020/2021)
- Teaching Assistant, "Einführung in die Informatik 2 - Vertiefung" (Summer Terms 2019, 2020)
- Teaching Assistant, "Allgemeine Informatik 1" (Winter Term 2017/2018)
- Teaching Assistant, "Allgemeine Informatik 2" (Summer Terms 2017, 2018)
- Teaching Assistant, "Paradigmen der Programmierung" (Summer Terms 2016, 2017, 2018)
Publications
2024
17.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE) (To Appear)
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2024
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces - Summary
Proc. Software Engineering (SE) (To Appear)
Publisher: Gesellschaft für Informatik, Bonn, Germany
February 2024
| File: |  https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-SE-Sundermann.pdf |
16.
Kuiter,
Elias;
Heß,
Tobias;
Sundermann,
Chico;
Krieter,
Sebastian;
Thüm,
Thomas;
Saake,
Gunter
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
How Easy Is SAT-Based Analysis of a Feature Model?
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 149-151
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634733 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Kuiter.pdf |
15.
Böhm,
Sabrina;
Krieter,
Sebastian;
Heß,
Tobias;
Thüm,
Thomas;
Lochau,
Malte
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-36
Publisher: ACM, New York, NY, USA
February 2024
Incremental Identification of T-Wise Feature Interactions
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS), Page 27-36
Publisher: ACM, New York, NY, USA
February 2024
| DOI: | 10.1145/3634713.3634715 |
| ISBN: | 9798400708770 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Boehm.pdf |
14.
Heß,
Tobias;
Schmidt,
Tim Jannik;
Ostheimer,
Lukas;
Krieter,
Sebastian;
Thüm,
Thomas
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Publisher: ACM, New York, NY, USA
February 2024
UnWise: High T-Wise Coverage From Uniform Sampling
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS) (To Appear)
Publisher: ACM, New York, NY, USA
February 2024
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2024/2024-VaMoS-Hess.pdf |
13.
Heß,
Tobias;
Ostheimer,
Lukas;
Betz,
Tobias;
Karrer,
Simon;
Schmidt,
Tim Jannik;
Coquet,
Pierre;
Semmler,
Sean;
Thüm,
Thomas
variability.dev: Towards an Online Toolbox for Feature Modeling
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
February 2024
variability.dev: Towards an Online Toolbox for Feature Modeling
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
February 2024
2023
12.
Heß,
Tobias;
Schmidt,
Tim Jannik;
Ostheimer,
Lukas;
Krieter,
Sebastian;
Thüm,
Thomas
Evaluation Artifact for UnWise: High T-Wise Coverage from Uniform Sampling
December 2023
Evaluation Artifact for UnWise: High T-Wise Coverage from Uniform Sampling
December 2023
| DOI: | 10.5281/zenodo.10303558 |
| File: | https://doi.org/10.5281/zenodo.10303558 |
11.
Sundermann,
Chico;
Kuiter,
Elias;
Heß,
Tobias;
Raab,
Heiko;
Krieter,
Sebastian;
Thüm,
Thomas
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) (To Appear)
October 2023
Publisher: Springer
On the Benefits of Knowledge Compilation for Feature-Model Analyses
Annals of Mathematics and Artificial Intelligence (AMAI) (To Appear)
October 2023
Publisher: Springer
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-AMAI-Sundermann.pdf |
10.
Pett,
Tobias;
Heß,
Tobias;
Krieter,
Sebastian;
Thüm,
Thomas;
Schaefer,
Ina
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 87-98
Publisher: ACM, New York, NY, USA
August 2023
Continuous T-Wise Coverage
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 87-98
Publisher: ACM, New York, NY, USA
August 2023
| DOI: | 10.1145/3579027.3608980 |
| ISBN: | 9798400700910 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-SPLC-Pett.pdf |
9.
Sundermann,
Chico;
Raab,
Heiko;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
March 2023
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models
Technical Report arXiv:2303.12383
March 2023
| DOI: | 10.48550/arXiv.2303.12383 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-TR-Sundermann.pdf |
8.
Sundermann,
Chico;
Heß,
Tobias;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Young,
Jeffrey M.;
Thüm,
Thomas;
Schaefer,
Ina
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
January 2023
Publisher: Springer
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces
Empirical Software Engineering (EMSE)
January 2023
Publisher: Springer
| DOI: | 10.1007/s10664-022-10265-9 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2023/2023-EMSE-Sundermann.pdf |
2022
7.
Heß,
Tobias;
Müller,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
ddueruem: A Wrapper for Feature-Model Analysis Tools
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 54-57
Publisher: ACM, New York, NY, USA
September 2022
| DOI: | 10.1145/3503229.3547032 |
| ISBN: | 9781450392068 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2022/2022-SPLC-Hess.pdf |
2021
6.
Krieter,
Sebastian;
Arens,
Rahel;
Nieke,
Michael;
Sundermann,
Chico;
Heß,
Tobias;
Thüm,
Thomas;
Seidl,
Christoph
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 64-74
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3471148 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Krieter.pdf |
5.
Sundermann,
Chico;
Heß,
Tobias;
Engelhardt,
Dominik;
Arens,
Rahel;
Herschel,
Johannes;
Jedelhauser,
Kevin;
Jutz,
Benedikt;
Krieter,
Sebastian;
Schaefer,
Ina
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR), Page 73-79
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461002.3473940 |
| ISBN: | 9781450384704 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-MODEVAR-Sundermann.pdf |
4.
Heß,
Tobias;
Sundermann,
Chico;
Thüm,
Thomas
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
On the Scalability of Building Binary Decision Diagrams for Current Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC), Page 131-135
Publisher: ACM, New York, NY, USA
September 2021
| DOI: | 10.1145/3461001.3474452 |
| ISBN: | 9781450384698 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-SPLC-Hess.pdf |
3.
Sundermann,
Chico;
Nieke,
Michael;
Bittner,
Paul Maximilian;
Heß,
Tobias;
Thüm,
Thomas;
Schaefer,
Ina
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
Applications of #SAT Solvers on Feature Models
Proc. Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (VaMoS)
Publisher: ACM, New York, NY, USA
February 2021
| DOI: | 10.1145/3442391.3442404 |
| ISBN: | 9781450388245 |
| File: | https://github.com/SoftVarE-Group/Papers/raw/main/2021/2021-VaMoS-Sundermann.pdf |
2020
2.
Heß,
Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master
University of Ulm, Germany
November 2020
Binary Decision Diagrams for the Analysis of Large Feature Models
Master
University of Ulm, Germany
November 2020
2016
1.
Heß,
Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor
University of Ulm, Germany
November 2016
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor
University of Ulm, Germany
November 2016
M.Sc. Tobias Heß
M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group