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

Teaching

Winter Term 2020/21

  • Teaching Assistant, "Einführung in die Informatik 1 - Grundlagen"

Publications

2021

1.
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:fileadmin/website_uni_ulm/iui.inst.170/publications/2021-VaMoS-Sundermann.pdf