FeatureIDE
Eclipse Plugin for Feature Oriented Software Development
The main focus of my research lies on analyzing large configurable systems with propositional logic. Hereby, I am especially interested in #SAT, knowledge compilation, and exploiting both techniques to analyze configurable systems. I always aim to find additional applications for #SAT in an industrial context. In addition, I explore several ways to improve the scalability of such applications to allow analyzing complex systems.
Compilerbau: Exercise instructor and main contact
DOI: | 10.1145/3442391.3442404 |
ISBN: | 9781450388245 |
Datei: | fileadmin/website_uni_ulm/iui.inst.170/publications/2021-VaMoS-Sundermann.pdf |
DOI: | 10.1145/3377024.3377025 |
ISBN: | 9781450375016 |
Datei: | fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sundermann.pdf |
DOI: | 10.1145/3377024.3377036 |
ISBN: | 9781450375016 |
Datei: | fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf |