Designing and analyzing open application-oriented Labs in Software-Verification Education
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids
Synthesizing Strategies for Needle Steering in Gelatin Phantoms
Development of a Software Architecture for the Robot-guided Sampling and Removal of Potential Tumors by Theragnostic Pico-second Infra-red Laser
Kick-Off Meeting an der TUHH
Pitfalls in a data science workflow
Roboterwettbewerb der Studenten
19th IEEE Working Conference on Source Code Analysis and Manipulation
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
Governance Technologies: Privacy, Fairness & Transparency
Guaranteeing privacy policies using lightweight type systems
Towards Self-Explainable Cyber-Physical Systems
Schülerinnen und Schüler übten sich bei STS im Programmieren.
Automatically Proving Purpose Limitation in Software Architectures
IGT-Projekt beim Wissenschaftsfestival
STS präsentiert "Eulersche Quadrate" zum Mitmachen
Since June 2019 Sibylle Schupp serves as liaison officer for GI at TUHH
Hamburg interdisciplinary Summer School
Static Analysis for Worst-Case Battery Utilization
STS präsentiert Software zum Anfassen
Kickoff M4 Project
Reasoning about Software in an "Unreasonable" World
Modeling and Verification in GDPR's Data Protection Impact Assessment
FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"
Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle
Explainable Software for Cyber-Physical Systems
Next Generation Domain Specific Conceptual Modeling: Principles and Methods
OE-Gruppen von STS gewinnen mit schnellem Roboter
Studenten bereiten sich bei STS auf den OE-Wettbewerb vor
Formal Methods Meet <Privacy>
Model-Based Design of Cyber Physical Systems
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Information Governance algorithmischer Entscheidungssysteme
15th International Conference on Quantitative Evaluation of SysTems
16th Annual Conference on Privacy, Security and Trust
Summer School on Types for Programs and Verification
Ferienprogramm für Schüler bei STS
STS präsentiert Flaggenpuzzle
