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

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.

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
04.03.24

Code Smell Detection using Features from Version History
26.02.24

Code Smell Detection using Features from Version History
17.08.23

Computer Aided Design and Grading for an Electronic Functional Programming Exam
04.07.23

Ole Lübke participates in the SAT 2023 Conference
12.06.23

Fakultätentag Informatik
27.04.23

Arduino Crashkurs bei STS
16.03.23

Code Smell Detection using Features from Version History
22.02.23

Code Smell Detection using Features from Version History
23.01.23

STS presentation in Zoom and Gathertown
09.01.23

How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks
13.10.22

Schüler üben sich im Programmieren
14.09.22

Spielend Programmieren mit Scratch
12.09.22

Bounded DBM-based clock state construction for timed automata in Uppaal
19.08.22

Power and Energy-aware Computing on Heterogeneous Systems
15.08.22

Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation
19.07.22

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

Die STS Fritz-Light-Wall auf dem TUHH-Stand in Hannover
20.06.22

I3ProTeaching Publikumspreis für Ole Lübke (STS) und Konrad Fuger
30.05.22

STS auf der IdeenExpo 2022 in Hannover
25.04.22

Girl's Day an der TUHH
04.04.22

Modeling R³ Needle Steering in Uppaal
28.02.22

The Sigma-Calculus: A process calculus for privacy-preserving protocols in location-based service systems
21.02.22

Modeling R³ Needle Steering in Uppaal
17.01.22

STS presentation in Zoom and Gathertown
18.11.21

A process calculus for privacy-preserving protocols in location-based service systems
11.11.21

Mechanically Verifying Purpose Limitation: Why, How, and How Often?
10.10.21

Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
07.10.21

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
07.10.21

Spielend Programmieren mit Scratch über ZOOM
07.07.21

Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
05.07.21

Spielend Programmieren mit Scratch über ZOOM.
21.04.21

Model guided machine learning for simulating soft tissue in medicine
02.02.21

The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems
30.06.20

Designing and analyzing open application-oriented Labs in Software-Verification Education
19.05.20

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids
25.02.20

Synthesizing Strategies for Needle Steering in Gelatin Phantoms
28.01.20

Development of a Software Architecture for the Robot-guided Sampling and Removal of Potential Tumors by Theragnostic Pico-second Infra-red Laser
05.12.19

Kick-Off Meeting an der TUHH
23.10.19

Pitfalls in a data science workflow
17.10.19

Roboterwettbewerb der Studenten
30.09.19

19th IEEE Working Conference on Source Code Analysis and Manipulation
23.09.19

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
19.09.19

An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
10.09.19

Governance Technologies: Privacy, Fairness & Transparency
28.08.19

Guaranteeing privacy policies using lightweight type systems
21.08.19

An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
05.08.19

Towards Self-Explainable Cyber-Physical Systems
15.07.19

Schülerinnen und Schüler übten sich bei STS im Programmieren.
25.06.19

Automatically Proving Purpose Limitation in Software Architectures
20.06.19

IGT-Projekt beim Wissenschaftsfestival
19.06.19

STS präsentiert "Eulersche Quadrate" zum Mitmachen
12.06.19

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
11.06.19

Since June 2019 Sibylle Schupp serves as liaison officer for GI at TUHH
28.05.19

Hamburg interdisciplinary Summer School
27.05.19

Static Analysis for Worst-Case Battery Utilization
09.04.19

STS präsentiert Software zum Anfassen
28.03.19

Kickoff M4 Project
05.03.19

Automatically Proving Purpose Limitation in Software Architectures
05.03.19

Static Analysis for Worst-Case Battery Utilization
06.02.19

Reasoning about Software in an "Unreasonable" World
30.01.19

Modeling and Verification in GDPR's Data Protection Impact Assessment
22.01.19

FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"
07.01.19

Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle
06.01.19

Explainable Software for Cyber-Physical Systems
10.12.18

Modeling and Verification in GDPR's Data Protection Impact Assessment
19.11.18

Next Generation Domain Specific Conceptual Modeling: Principles and Methods
08.11.18

OE-Gruppen von STS gewinnen mit schnellem Roboter
07.11.18

Studenten bereiten sich bei STS auf den OE-Wettbewerb vor
10.10.18

Formal Methods Meet <Privacy>
04.10.18

Model-Based Design of Cyber Physical Systems
28.09.18

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
27.09.18

Information Governance algorithmischer Entscheidungssysteme
04.09.18

15th International Conference on Quantitative Evaluation of SysTems
28.08.18

16th Annual Conference on Privacy, Security and Trust
08.08.18

Summer School on Types for Programs and Verification
10.07.18

Ferienprogramm für Schüler bei STS
13.06.18

STS präsentiert Flaggenpuzzle
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