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

STS-News

09.03.26

Signal Temporal Logic for Mining Guard Conditions in Hybrid System Models
09.03.26

Local Explanations for Classification of Ventilation Data by Neural Networks
18.02.26

Concepts and Algorithms for – and Usage of – Self-Explaining Digitally Controlled Systems
30.01.26

Local Explanations for Classification of Ventilation Data by Neural Networks
26.01.26

Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives.
27.11.25

Efficient Adversarial Generation through Selective SBFL Guidance and Automated Sub-Model Strategy
27.11.25

Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives
24.11.25

Two day plenary meeting at TUHH
13.11.25

Career Information Event
04.11.25

"30 Years of UPPAAL" Workshop
13.08.25

QEST + FORMATS Conference
11.08.25

SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
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
TU Hamburg
Institute for Software Systems (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-mail : sts-office@tuhh.de
Phone : 040-30601-3460
Links
Imprint / Impressum
Privacy / Datenschutz