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

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