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
Menü öffnen
STS > Institute > News

STS-News

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