Institute for Software Systems
Institute for Software Systems
EN
DE
EN
DE
Institute
Institute
Institute
Institute
Prof. Dr. Sibylle Schupp
People
Former members
Former Tutors
News
Research
Research
Research
Research
Model Checking & Abstract Interpretation
Programming Languages & Program Reconstruction
Data Protection & Machine Learning
Publications
Lectures
Lectures
Lectures
Lectures
Advanced Seminar
STS-Schedule
Courses
Previous terms
Student theses
Student theses
Student theses
Student theses
Thesis projects
FAQ Thesis projects
Application Thesis & Project Work
Contact
Contact
Contact
Contact
People
Reaching STS
Service
Service
Service
Service
Infos and dates
Datenschutz
Education
STS-Schulprojekte
STS-Logo
Sitemap
STS >
Institute >
News
STS-News
28.05.19
Call for participation
Hamburg interdisciplinary Summer School
27.05.19
FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
09.04.19
TUHH Hautnah 2019
STS präsentiert Software zum Anfassen
28.03.19
Collaborative Research Project
Kickoff M4 Project
05.03.19
STS-Paper at IFIP SEC2019:
Automatically Proving Purpose Limitation in Software Architectures
05.03.19
STS-Paper at FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
06.02.19
Aalborg University (AAU)
Reasoning about Software in an "Unreasonable" World
30.01.19
CPDP 2019
Modeling and Verification in GDPR's Data Protection Impact Assessment
22.01.19
Universitätsklinikum Hamburg-Eppendorf
FMTHH Symposium "Transitioning between Academics, Industry and FMTHH"
07.01.19
University of Constanz
Building Trust in Cyber-Physical Systems: Statistical Model Checking in the Software Life Cycle
06.01.19
Schloss Dagstuhl
Explainable Software for Cyber-Physical Systems
10.12.18
STS-Paper at CPDP 2019
Modeling and Verification in GDPR's Data Protection Impact Assessment
19.11.18
Seminar in Dagstuhl
Next Generation Domain Specific Conceptual Modeling: Principles and Methods
08.11.18
Erstsemester OE - Wettbewerb
OE-Gruppen von STS gewinnen mit schnellem Roboter
07.11.18
OE Fischertechnik
Studenten bereiten sich bei STS auf den OE-Wettbewerb vor
10.10.18
Brown Bag Lunch
Formal Methods Meet <Privacy>
04.10.18
CyPhy 2018
Model-Based Design of Cyber Physical Systems
28.09.18
STS-Paper at CyPhy 2018
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
27.09.18
IGT Project: Symposium
Information Governance algorithmischer Entscheidungssysteme
04.09.18
QEST 2018
15th International Conference on Quantitative Evaluation of SysTems
previous
1
2
3
4
5
6
next
