FeatureIDE
Eclipse Plugin for Feature Oriented Software Development
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
Materials
| Filename | Info | Modified | |
|---|---|---|---|
|
Topics_for_Theses_and_Projects-July21.pdf | 2 MB | 20.07.2021 16:42 |
Teaching
Winter Term 2021/22
Old Teaching
-
Summer Term 2021
-
Summer Term 2016 - Winter Term 2020/2021
- 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
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)
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) (To Appear)
Publisher: ACM, New York, NY, USA
September 2021
| File: |  https://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
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: | https://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)
Publisher: ACM, New York, NY, USA
2021
Incremental Construction of Modal Implication Graphs for Evolving Feature Models
Proc. Int'l Systems and Software Product Line Conf. (SPLC) (To Appear)
Publisher: ACM, New York, NY, USA
2021
| File: | https://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)
Publisher: ACM, New York, NY, USA
2021
Integration of UVL in FeatureIDE
Proc. Int'l Workshop on Languages for Modelling Variability (MODEVAR) (To Appear)
Publisher: ACM, New York, NY, USA
2021
| File: | https://github.com/SoftVarE-Group/Papers/blob/master/2021/2021-MODEVAR-Sundermann.pdf |
M.Sc. Tobias Heß
M.Sc.
Tobias
Heß
Research Assistant
SoftVarE Working Group