Institute of Software Engineering and Automotive Informatics

LaTeX thesis template originally created for ulm university

TeX 2CC-BY-SA-4.0 2 4 0 Updated Aug 27, 2026

BibTags Public

TeX 5CC-BY-SA-4.0 1 7 1 Updated Aug 25, 2026

Material for introductory course on software engineering

TeX 0CC-BY-SA-4.0 0 1 0 Updated Aug 21, 2026

A beamer presentation template for easy animations

TeX 1CC0-1.0 7 1 1 Updated Jul 30, 2026

fe4femo Public

Java 0 4 19 1 Updated Jun 21, 2026

Python 0 4 0 0 Updated Jun 10, 2026

Reproduction package for empirical evaluation on pseudo-Boolean d-DNNF compilation

Shell 0MIT 1 0 0 Updated May 20, 2026

JavaScript 0 0 0 0 Updated May 3, 2026

Slides Public

Slides of scientific presentations on research published by the SoftVarE group

2CC-BY-SA-4.0 1 1 0 Updated Apr 10, 2026

MibTeX Public

Minimalistic tool to manage your references with BibTeX

Java 2LGPL-3.0 1 3 0 Updated Apr 7, 2026

Navigation Menu