STS-News

Static Analysis for Worst-Case Battery Utilization

Read more

Reasoning about Software in an "Unreasonable" World

Read more

Modeling and Verification in GDPR's Data Protection Impact Assessment

Read more

FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"

Read more

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

Read more

Explainable Software for Cyber-Physical Systems

Read more

Modeling and Verification in GDPR's Data Protection Impact Assessment

Read more

Next Generation Domain Specific Conceptual Modeling: Principles and Methods

Read more

OE-Gruppen von STS gewinnen mit schnellem Roboter

Read more

Studenten bereiten sich bei STS auf den OE-Wettbewerb vor

Read more

Formal Methods Meet <Privacy>

Read more

Model-Based Design of Cyber Physical Systems

Read more

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

Read more

Information Governance algorithmischer Entscheidungssysteme

Read more

15th International Conference on Quantitative Evaluation of SysTems

Read more

16th Annual Conference on Privacy, Security and Trust

Read more

Summer School on Types for Programs and Verification

Read more

Ferienprogramm für Schüler bei STS

Read more

STS präsentiert Flaggenpuzzle

Read more