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
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 (publicity chair)
Teaching
Summer Term 2022
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
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: |
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: |
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: |
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: |
2020
2.
Heß,
Tobias
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
Master's Thesis
University of Ulm, Germany
November 2020
Binary Decision Diagrams for the Analysis of Large Feature Models
Master's Thesis
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
Bachelor's Thesis
University of Ulm, Germany
November 2016
The Valued Workflow Satisfiability Problem and Its Solving With an Evolutionary Algorithm
Bachelor's Thesis
Bachelor's Thesis
University of Ulm, Germany
November 2016
M.Sc. Tobias Heß

M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group