SundermannC
Research assistant and Phd student at the Institute of Software Engineering and Programming Languages, University of Ulm
University of UlmUlm
Pinned Repositories
FeatureIDE
An extensible framework for feature-oriented software development
Course-on-Software-Product-Lines
Material for lectures on software product lines
feature-model-batch-analysis
Computes several structural and semantic metrics for a batch of feature models
Feature-Model-Structure-Analysis
FeatureIDE
An extensible framework for feature-oriented software development
LaTeXUtils
Recurring commands and patterns I use across all my LaTeX documents.
sharpsat-benchmark-framework
TraVarT
TraVarT - Transforming Variability Artifacts
uvl-lsp
Language server protocol for the Universal Variability Language (UVL)
uvl-parser
SundermannC's Repositories
SundermannC/FeatureIDE
An extensible framework for feature-oriented software development
SundermannC/sharpsat-benchmark-framework
SundermannC/feature-model-batch-analysis
Computes several structural and semantic metrics for a batch of feature models
SundermannC/Feature-Model-Structure-Analysis
SundermannC/LaTeXUtils
Recurring commands and patterns I use across all my LaTeX documents.
SundermannC/TraVarT
TraVarT - Transforming Variability Artifacts
SundermannC/d4v2
SundermannC/projected-ddnnf-eval