Agda Library to Study the Expressive Power of Languages for Static Variability

🐧 Penguins in LaTeX with TikZ

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

The Next Generation Logic Library

d4 Model Counter

Material for lectures on software product lines

This Repository contains assests for the Paper Stability of Productline Sampling in Continuous Integration

Tool Support for Correctness-by-Construction

Type checking ifdef variability

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

Configurator for Branches of Study at TU Braunschweig

A tool about Mutation Testing in CPP (C pre-processor)

Minimalistic tool to manage your references with BibTeX

A collection of cleaned BibTeX entries and tags to be used with MibTeX. Moved to https://github.com/TUBS-ISF/BibTags

Automating the synchronization of software variants

An extensible framework for feature-oriented software development

A Variational Sat Solver based on the Choice Calculus

Browser-based configurator for FeatureIDE feature models

Contains the data for the master thesis "An Experience Report on Deductive Verification with KeY" at TU Braunschweig, Institute of Software Engineering and Automotive Informatics

An extensible framework for feature-oriented software development

An extensible framework for feature-oriented software development

An extensible framework for feature-oriented software development

Extract BibTeX records to standalone file for sharing with others