Institute of Software Engineering and Programming Languages

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

FeatureIDE

Eclipse Plugin for Feature Oriented Software Development

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).

Materials

  Filename Info Modified
Topics_for_Theses_and_Projects-July21.pdf Topics_for_Theses_and_Projects-July21.pdf 2 MB 20.07.2021 16:42

Academic Service

I served as a (sub-)reviewer for

  • Journals (A+): EMSE (A), TOSEM (A*)
  • Other Journals: AUSE (B), SoSyM (B)
  • Conferences: GPCE'21 (B), SPLC'21 (B), VaMoS'22 (-)

Teaching

Winter Term 2021/22

Old Teaching

  • Teaching Assistant, "Paradigmen der Programmierung" (ST16, ST17, ST18)
  • Teaching Assistant, "Einführung in die Informatik 1 - Grundlagen" (WT17/18, WT18/19, WT19/20, WT20/21)
  • Teaching Assistant, "Einführung in die Informatik 2 - Vertiefung" (ST17, ST18, ST19, ST20)

Publications

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
DOI:10.1145/3461001.3471148
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/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
DOI:10.1145/3461002.3473940
ISBN:9781450384704
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/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
DOI:10.1145/3461001.3474452
ISBN:9781450384698
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/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
2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
File:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-VaMoS-Sundermann.pdf

2020

2.
Heß, Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
University of Ulm, Germany
October 2020

2016

1.
Heß, Tobias
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
Bachelor's Thesis
Germany
November 2016