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
Application Thesis & Project Work
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
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
21.08.19
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
05.08.19
14th International Workshop on Models@run.time
Towards Self-Explainable Cyber-Physical Systems
15.07.19
Ferien-Computer-Tage 2019
Schülerinnen und Schüler übten sich bei STS im Programmieren.
25.06.19
IFIP SEC2019
Automatically Proving Purpose Limitation in Software Architectures
20.06.19
Sommer des Wissens
IGT-Projekt beim Wissenschaftsfestival
19.06.19
TUHH Sommerfest 2019
STS präsentiert "Eulersche Quadrate" zum Mitmachen
12.06.19
INFORMATIK 2019
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
11.06.19
Liaison officer for GI
Since June 2019 Sibylle Schupp serves as liaison officer for GI at TUHH
previous
1
2
3
4
5
6
next
