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

Materials

  Dateiname Info Geändert
Topics_for_Theses_and_Projects-July21.pdf Topics_for_Theses_and_Projects-July21.pdf 2 MB 20.07.2021 16:42

Teaching

Winter Term 2021/22

Old Teaching

Publications

2021

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) (To Appear)
Herausgeber: ACM, New York, NY, USA
September 2021
Datei: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)
Herausgeber: ACM, New York, NY, USA
2021
DOI:10.1145/3442391.3442404
ISBN:9781450388245
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/raw/master/2021/2021-VaMoS-Sundermann.pdf
2.
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) (To Appear)
Herausgeber: ACM, New York, NY, USA
2021
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/blob/master/2021/2021-SPLC-Krieter.pdf
1.
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) (To Appear)
Herausgeber: ACM, New York, NY, USA
2021
Datei:pdfhttps://github.com/SoftVarE-Group/Papers/blob/master/2021/2021-MODEVAR-Sundermann.pdf