Discover SoftVarE-Group/ThesisTemplate Open Source project

Stars
2
Language
TeX
Created over 4 years ago
Updated over 1 year ago

SoftVarE-Group

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

SlideTemplate

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

TeX

Course-on-Software-Product-Lines

Material for lectures on software product lines

TeX

BibTags

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

TeX

emse-evaluation-sharpsat

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

Python

BroT

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

HTML

Papers

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

feature-model-benchmark

Python

d-dnnf-reasoner

Rust

Software-Engineering-2021-2022

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

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT

Java

Slides

Slides of scientific presentations on research published by the SoftVarE group

MibTeX

Minimalistic tool to manage your references with BibTeX

Java

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines

Scientific-Writing

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

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference

Java

SoftVarE-Group/ThesisTemplate

SoftVarE-Group

Reviews

Repository Details

More Repositories