Institute for Software Systems
Institute for Software Systems
EN
DE
EN
DE
Institute
Institute
Institute
Institute
Prof. Dr. Sibylle Schupp
People
Former members
Former Tutors
News
Research
Research
Research
Research
Model Checking & Abstract Interpretation
Programming Languages & Program Reconstruction
Data Protection & Machine Learning
Publications
Lectures
Lectures
Lectures
Lectures
Advanced Seminar
STS-Schedule
Courses
Previous terms
Student theses
Student theses
Student theses
Student theses
Thesis projects
FAQ Thesis projects
Contact
Contact
Contact
Contact
People
Reaching STS
Service
Service
Service
Service
Infos and dates
Datenschutz
Education
STS-Schulprojekte
STS-Logo
Sitemap
STS >
Institute >
News
STS-News
11.11.21
Philosopher's Seminar 2021
Mechanically Verifying Purpose Limitation: Why, How, and How Often?
10.10.21
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
07.10.21
FMAS 2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
07.10.21
TUHH Herbstferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM
07.07.21
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
05.07.21
TUHH-Ferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM.
21.04.21
i3-Labs-Presentation
Model guided machine learning for simulating soft tissue in medicine
02.02.21
OS at UHH 2021
The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems
30.06.20
Sefi 2020
Designing and analyzing open application-oriented Labs in Software-Verification Education
19.05.20
DBSec'20
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids
25.02.20
MARS 2020 Workshop in Dublin
Synthesizing Strategies for Needle Steering in Gelatin Phantoms
28.01.20
fmthh Symposium at TUHH
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
Hamburg Open Online University
Kick-Off Meeting an der TUHH
23.10.19
Open Access Week TUHH 2019
Pitfalls in a data science workflow
17.10.19
OE-Roboterrennen
Roboterwettbewerb der Studenten
30.09.19
Reviewer Award
19th IEEE Working Conference on Source Code Analysis and Manipulation
23.09.19
INFORMATIK 2019
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
19.09.19
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
10.09.19
Hamburg Interdisciplinary Summer School
Governance Technologies: Privacy, Fairness & Transparency
28.08.19
Computer Law & Security Review
Guaranteeing privacy policies using lightweight type systems
previous
1
2
3
4
5
next
