SoftVarE Group
The working group for Software Variability and Evolution (SoftVarE) is headed by Prof. Thomas Thüm and located at the University of Ulm, Germany.
Germany
Pinned Repositories
BibTags
A collection of cleaned BibTeX entries and tags to be used with MibTeX
BroT
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
Course-on-Software-Product-Lines
Material for lectures on software product lines
d-dnnf-reasoner
emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
feature-model-benchmark
Papers
Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.
Slides
Slides of scientific presentations on research published by the SoftVarE group
SlideTemplate
A beamer latex template for slides and lectures at University of Ulm
Software-Engineering-2021-2022
Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
SoftVarE Group's Repositories
SoftVarE-Group/SlideTemplate
A beamer latex template for slides and lectures at University of Ulm
SoftVarE-Group/Course-on-Software-Product-Lines
Material for lectures on software product lines
SoftVarE-Group/BibTags
A collection of cleaned BibTeX entries and tags to be used with MibTeX
SoftVarE-Group/feature-model-benchmark
SoftVarE-Group/BroT
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
SoftVarE-Group/emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
SoftVarE-Group/d-dnnf-reasoner
SoftVarE-Group/Papers
Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.
SoftVarE-Group/Software-Engineering-2021-2022
Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
SoftVarE-Group/MibTeX
Minimalistic tool to manage your references with BibTeX
SoftVarE-Group/Slides
Slides of scientific presentations on research published by the SoftVarE group
SoftVarE-Group/ThesisTemplate
A template for bachelor, master, or PhD theses based on a template by Roland Bless and on a template by Martin Kuhlemann. The template is available for theses in English and in German. Bugs and recommendations are welcome.
SoftVarE-Group/d4v2
SoftVarE-Group/sat2024-as4moco-evaluation
Replication package for submission to SAT24 conference
SoftVarE-Group/Slides-of-the-SPL-Course
Released version of slides for the lecture on software product lines
SoftVarE-Group/as4moco
Algorithm selection for model counting
SoftVarE-Group/ProfCalculator
An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.
SoftVarE-Group/uvl-playground
Web-based playground for trying out the Universal Variability Language
SoftVarE-Group/d4-oxide
A Rust wrapper around d4.
SoftVarE-Group/exploiting-ddnnfs-eval
Replication package for empirical evaluation on d-DNNFs for feature-model counting
SoftVarE-Group/fm-benchmark-evaluation
Computes various metrics for a given feature-model collection
SoftVarE-Group/fm-collection-replication-package
Replication Package for the literature survey on identifying a collection of feature models
SoftVarE-Group/glucose
The glucose SAT solver
SoftVarE-Group/IncrementalSharpSAT
SoftVarE-Group/kc-for-fmanalysis-evaluation
SoftVarE-Group/mt-kahypar-sys
Rust bindings to Mt-KaHyPar.
SoftVarE-Group/pd4
SoftVarE-Group/proj-ddnnf-eval
SoftVarE-Group/uvl-smt
SoftVarE-Group/uvlgenerator