IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses

Read more

Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization


Read more


Institute for Software Systems


STS is an Institute of  Hamburg University of Technology and the
School of Electrical Engineering, Computer Science and Mathematics

Under the slogan "Software, Technology and Systems (STS)", 
the institute combines fundamental research on descriptions and
dependencies of software systems with practical issues and applications
from both engineering and social sciences.