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
19.08.22
Dagstuhl Seminar 2022
Power and Energy-aware Computing on Heterogeneous Systems
15.08.22
MaxSAT Evaluation 2022
Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation
19.07.22
TUHH Ferien-Computer-Tage
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
03.07.22
IdeenExpo 2022
Die STS Fritz-Light-Wall auf dem TUHH-Stand in Hannover
20.06.22
ZLL- I³-ProTeaching
I3ProTeaching Publikumspreis für Ole Lübke (STS) und Konrad Fuger
30.05.22
IdeenExpo 2022
STS auf der IdeenExpo 2022 in Hannover
25.04.22
Zukunftstag 2022
Girl's Day an der TUHH
04.04.22
MARS2022 - Presentation
Modeling R³ Needle Steering in Uppaal
28.02.22
PhD Defense Kai Bavendiek
The Sigma-Calculus: A process calculus for privacy-preserving protocols in location-based service systems
21.02.22
MARS 2022
Modeling R³ Needle Steering in Uppaal
17.01.22
EIM lecture series 2022
STS presentation in Zoom and Gathertown
18.11.21
J. of Logical and Algebraic Methods in Programming
A process calculus for privacy-preserving protocols in location-based service systems
11.11.21
Philosopher's Seminar 2021
Mechanically Verifying Purpose Limitation: Why, How, and How Often?
10.10.21
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
07.10.21
FMAS 2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
07.10.21
TUHH Herbstferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM
07.07.21
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
05.07.21
TUHH-Ferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM.
21.04.21
i3-Labs-Presentation
Model guided machine learning for simulating soft tissue in medicine
02.02.21
OS at UHH 2021
The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems
previous
1
2
3
4
5
6
next
