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

Optimal Binary Decision Diagrams for Information Visualization, Model Analysis, and Logic Operations

Eclipse Plugin for Feature Oriented Software Development

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 (B), ISSTA'22 (A), SPLC'22 (B)

I served as chair at

  • VaMoS'23 (proceedings chair, publicity chair)

Materials

  Dateiname Info Geändert
2023-02_topics_for_projects.pdf 2023-02_topics_for_projects.pdf 1 MB 01.02.2023 16:54

Teaching

Lectures, Projects, and Seminars

  • Rahmenprogramm Proseminar (LaTeX-Einführung)

  • Rahmenprogramm Proseminar (LaTeX-Einführung)

  • Rahmenprogramm Proseminar (LaTeX-Einführung)

  • Proseminar "Binary Decision Diagrams"

  • 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

2023

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), Seite 87-98
Herausgeber: ACM, New York, NY, USA
August 2023
DOI:10.1145/3579027.3608980
ISBN:9798400700910
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
März 2023
DOI:10.48550/arXiv.2303.12383
Datei:https://arxiv.org/pdf/2303.12383
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)
Januar 2023
Herausgeber: Springer
DOI:10.1007/s10664-022-10265-9
Datei:pdfhttps://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), Seite 54-57
Herausgeber: ACM, New York, NY, USA
September 2022
DOI:10.1145/3503229.3547032
ISBN:9781450392068
Datei:pdfhttps://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), Seite 64-74
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3471148
ISBN:9781450384698
Datei:pdfhttps://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), Seite 73-79
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461002.3473940
ISBN:9781450384704
Datei:pdfhttps://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), Seite 131-135
Herausgeber: ACM, New York, NY, USA
September 2021
DOI:10.1145/3461001.3474452
ISBN:9781450384698
Datei:pdfhttps://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)
Herausgeber: ACM, New York, NY, USA
Februar 2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
Datei:pdfhttps://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's Thesis
University of Ulm, Germany
November 2020

2016

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