SoftVarE Group (SoftVarE-Group)

SoftVarE Group

SoftVarE-Group

Geek Repo

The working group for Software Variability and Evolution (SoftVarE) is headed by Prof. Thomas Thüm and located at the University of Ulm, Germany.

Location:Germany

Home Page:https://www.uni-ulm.de/in/sp/team/softvare-working-group/

Twitter:@softvare_uulm

Github PK Tool:Github PK Tool

SoftVarE Group's repositories

SlideTemplate

A beamer latex template for slides and lectures at University of Ulm

Language:TeXLicense:CC0-1.0Stargazers:13Issues:2Issues:53

Course-on-Software-Product-Lines

Material for lectures on software product lines

Language:TeXLicense:CC-BY-SA-4.0Stargazers:11Issues:4Issues:28

BibTags

A collection of cleaned BibTeX entries and tags to be used with MibTeX

Language:TeXLicense:LGPL-3.0Stargazers:6Issues:3Issues:12

emse-evaluation-sharpsat

Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"

Language:PythonLicense:MITStargazers:5Issues:2Issues:0

BroT

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

Language:HTMLLicense:LGPL-3.0Stargazers:4Issues:2Issues:0

Papers

Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.

License:CC-BY-SA-4.0Stargazers:4Issues:3Issues:0
Language:PythonLicense:MITStargazers:3Issues:1Issues:0

Software-Engineering-2021-2022

Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022

License:CC-BY-SA-4.0Stargazers:3Issues:2Issues:0

MibTeX

Minimalistic tool to manage your references with BibTeX

Language:JavaLicense:LGPL-3.0Stargazers:2Issues:2Issues:32

Slides

Slides of scientific presentations on research published by the SoftVarE group

License:CC-BY-SA-4.0Stargazers:2Issues:3Issues:0

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.

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT

Language:JavaLicense:LGPL-3.0Stargazers:1Issues:2Issues:0
Language:C++License:LGPL-2.1Stargazers:1Issues:0Issues:0

Scientific-Writing

Slides for the lectures on scientific writing held at University of Ulm

License:CC-BY-SA-4.0Stargazers:1Issues:2Issues:0

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines

as4moco

Algorithm selection for model counting

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:3Issues:0

ProfCalculator

An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:3Issues:0

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

uvl-playground

Web-based playground for trying out the Universal Variability Language

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

d4-oxide

A Rust wrapper around d4.

Language:RustLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

exploiting-ddnnfs-eval

Replication package for empirical evaluation on d-DNNFs for feature-model counting

Language:PythonLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

fm-benchmark-evaluation

Computes various metrics for a given feature-model collection

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

fm-collection-replication-package

Replication Package for the literature survey on identifying a collection of feature models

License:MITStargazers:0Issues:0Issues:0

glucose

The glucose SAT solver

Language:C++License:MITStargazers:0Issues:0Issues:0
Language:C++License:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:LGPL-3.0Stargazers:0Issues:3Issues:0

mt-kahypar-sys

Rust bindings to Mt-KaHyPar.

Language:RustLicense:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0
Language:JavaLicense:MITStargazers:0Issues:0Issues:0