Logo Institut für Software Systeme
Institut für Software Systeme
Logo Institut für Software Systeme
Institut für Software Systeme
EN
DE
Suche
EN
DE
Suche
STS > Institute > News

STS-News

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
Institut für Softwaresysteme (E-16)
Am Schwarzenberg-Campus 3 (E)
21073 Hamburg
E-Mail : sts-office@tuhh.de
Tel : 040-42878-3460
Weiterführende Links
Imprint / Impressum
Privacy / Datenschutz