Institut für Software Systeme
Institut für Software Systeme
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
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
28.05.19
Call for participation
Hamburg interdisciplinary Summer School
27.05.19
FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
09.04.19
TUHH Hautnah 2019
STS präsentiert Software zum Anfassen
28.03.19
Collaborative Research Project
Kickoff M4 Project
05.03.19
STS-Paper at IFIP SEC2019:
Automatically Proving Purpose Limitation in Software Architectures
05.03.19
STS-Paper at FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
06.02.19
Aalborg University (AAU)
Reasoning about Software in an "Unreasonable" World
Vorherige
1
2
3
4
5
Nächste