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
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
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'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/emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
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/Papers
Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.
SoftVarE-Group/feature-model-benchmark
SoftVarE-Group/Software-Engineering-2021-2022
Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
SoftVarE-Group/d-dnnf-reasoner
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/BroTLibraryExample
Example Code for Using the SAT Encodings of BroT
SoftVarE-Group/d4v2
SoftVarE-Group/Scientific-Writing
Slides for the lectures on scientific writing held at University of Ulm
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/sat2024-as4moco-evaluation
Replication package for submission to SAT24 conference
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/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/Software-Engineering-2020-2021
Slides for the bachelor course on software engineering held at University of Ulm in 2020/2021