Schüler üben sich im Programmieren
Spielend Programmieren mit Scratch
Bounded DBM-based clock state construction for timed automata in Uppaal
Power and Energy-aware Computing on Heterogeneous Systems
Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
Die STS Fritz-Light-Wall auf dem TUHH-Stand in Hannover
I3ProTeaching Publikumspreis für Ole Lübke (STS) und Konrad Fuger
STS auf der IdeenExpo 2022 in Hannover
Girl's Day an der TUHH
Modeling R³ Needle Steering in Uppaal
The Sigma-Calculus: A process calculus for privacy-preserving protocols in location-based service systems
STS presentation in Zoom and Gathertown
A process calculus for privacy-preserving protocols in location-based service systems
Mechanically Verifying Purpose Limitation: Why, How, and How Often?
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
Spielend Programmieren mit Scratch über ZOOM
Spielend Programmieren mit Scratch über ZOOM.
Model guided machine learning for simulating soft tissue in medicine
The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems
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
