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.