Logo Institute for Software Systems
Institute for Software Systems
Logo Institute for Software Systems
Institute for Software Systems
EN
DE
Search
EN
DE
Search
STS > Institute > News

STS-News

25.06.25

Configurable abstraction of signals using signal temporal logic
13.06.25

Executable Explanations of Control Software
13.06.25

Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations
11.06.25

SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
11.06.25

Executable Explanations of Control Software
02.04.25

A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis
28.03.25

Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations
17.02.25

Seminar Executable Explanations of Control Software
28.01.25

Recent Approaches to Local Search for MaxSAT and Novel Applications
28.10.24

Programmieren mit dem Arduino Uno
19.08.24

Power and Energy-aware Computing on Heterogeneous Systems
16.08.24

IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
23.07.24

Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
10.07.24

IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
21.06.24

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

Arduino Crashkurs bei STS
05.04.24

Fundamental Approaches to Software Engineering
04.04.24

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
15.03.24

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

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-42878-3460
Links
Imprint / Impressum
Privacy / Datenschutz