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.06.26

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

Real-time updates in timed automata models for online monitoring workflows
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
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