19.06.2019

TUHH Sommerfest 2019

STS präsentiert "Eulersche Quadrate" zum Mitmachen

12.06.2019

INFORMATIK 2019

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data

11.06.2019

Liaison officer for GI

Since June 2019 Sibylle Schupp serves as liaison officer for GI at TUHH

28.05.2019

Call for participation

Hamburg interdisciplinary Summer School

27.05.2019

FormaliSE 2019

Static Analysis for Worst-Case Battery Utilization

09.04.2019

TUHH Hautnah 2019

STS präsentiert Software zum Anfassen

28.03.2019

Collaborative Research Project

Kickoff M4 Project

05.03.2019

STS-Paper at IFIP SEC2019:

Automatically Proving Purpose Limitation in Software Architectures

05.03.2019

STS-Paper at FormaliSE 2019

Static Analysis for Worst-Case Battery Utilization

06.02.2019

Aalborg University (AAU)

Reasoning about Software in an "Unreasonable" World

30.01.2019

CPDP 2019

Modeling and Verification in GDPR's Data Protection Impact Assessment

22.01.2019

Universitätsklinikum Hamburg-Eppendorf

FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"

07.01.2019

University of Constanz

Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle

06.01.2019

Schloss Dagstuhl

Explainable Software for Cyber-Physical Systems

10.12.2018

STS-Paper at CPDP 2019

Modeling and Verification in GDPR's Data Protection Impact Assessment

19.11.2018

Seminar in Dagstuhl

Next Generation Domain Specific Conceptual Modeling: Principles and Methods

08.11.2018

Erstsemester OE - Wettbewerb

OE-Gruppen von STS gewinnen mit schnellem Roboter

07.11.2018

OE Fischertechnik

Studenten bereiten sich bei STS auf den OE-Wettbewerb vor

10.10.2018

Brown Bag Lunch

Formal Methods Meet <Privacy>

04.10.2018

CyPhy 2018

Model-Based Design of Cyber Physical Systems

28.09.2018

STS-Paper at CyPhy 2018

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

27.09.2018

IGT Project: Symposium

Information Governance algorithmischer Entscheidungssysteme

04.09.2018

QEST 2018

15th International Conference on Quantitative Evaluation of SysTems

28.08.2018

PST 2018 - Belfast, Ireland

16th Annual Conference on Privacy, Security and Trust

08.08.2018

EUTypesSchool

Summer School on Types for Programs and Verification

10.07.2018

Summer School 2018

Ferienprogramm für Schüler bei STS

13.06.2018

TUHH Sommerfest 2018

STS präsentiert Flaggenpuzzle