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
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
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
