Institut für Software Systeme
Institut für Software Systeme
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
Testing & Fault Injection
Data Protection & Machine Learning
Publications
Lectures
Lectures
Lectures
Lectures
Oberseminar
STS-Schedule
Courses
Previous terms
Student theses
Student theses
Student theses
Student theses
Thesis projects
FAQ Thesis projects
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.2024
Dagstuhl-Seminar 2024
Power and Energy-aware Computing on Heterogeneous Systems
16.08.2024
15th Pragmatics of SAT international workshop
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
23.07.2024
TUHH Ferien-Computer-Tage 2024
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
10.07.2024
15th Pragmatics of SAT international workshop
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
21.06.2024
IEEE SEAI24
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
25.04.2024
Zukunftstag 2024
Arduino Crashkurs bei STS
05.04.2024
ETAPS 2024
Fundamental Approaches to Software Engineering
04.04.2024
MARS 2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
15.03.2024
IEEE-SEAI 2024
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
14.03.2024
Mars 2024 Paper
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
04.03.2024
SE2024 Student Research Competition
Code Smell Detection using Features from Version History
26.02.2024
SE2024
Code Smell Detection using Features from Version History
17.08.2023
TFPIE 2023
Computer Aided Design and Grading for an Electronic Functional Programming Exam
04.07.2023
SAT 2023
Ole Lübke participates in the SAT 2023 Conference
12.06.2023
Vor-Ort Begehung des FTI
Fakultätentag Informatik
27.04.2023
Zukunftstag 2023
Arduino Crashkurs bei STS
16.03.2023
Best Student Paper Award 2023
Code Smell Detection using Features from Version History
22.02.2023
WSRE 2023
Code Smell Detection using Features from Version History
23.01.2023
EIM lecture series 2023
STS presentation in Zoom and Gathertown
09.01.2023
24th International Symposium on Trends in Functional Programming
How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks
13.10.2022
Nachlese Herbstferien-Computer-Tage
Schüler üben sich im Programmieren
14.09.2022
TUHH Herbstferien-Computer-Tage 2022
Spielend Programmieren mit Scratch
12.09.2022
International Journal on Software Tools for Technology Transfer
Bounded DBM-based clock state construction for timed automata in Uppaal
19.08.2022
Dagstuhl Seminar 2022
Power and Energy-aware Computing on Heterogeneous Systems
15.08.2022
MaxSAT Evaluation 2022
Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation
19.07.2022
TUHH Ferien-Computer-Tage
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
03.07.2022
IdeenExpo 2022
Die STS Fritz-Light-Wall auf dem TUHH-Stand in Hannover
20.06.2022
ZLL- I³-ProTeaching
I3ProTeaching Publikumspreis für Ole Lübke (STS) und Konrad Fuger
30.05.2022
IdeenExpo 2022
STS auf der IdeenExpo 2022 in Hannover
25.04.2022
Zukunftstag 2022
Girl's Day an der TUHH
04.04.2022
MARS2022 - Presentation
Modeling R³ Needle Steering in Uppaal
28.02.2022
PhD Defense Kai Bavendiek
The Sigma-Calculus: A process calculus for privacy-preserving protocols in location-based service systems
21.02.2022
MARS 2022
Modeling R³ Needle Steering in Uppaal
17.01.2022
EIM lecture series 2022
STS presentation in Zoom and Gathertown
18.11.2021
J. of Logical and Algebraic Methods in Programming
A process calculus for privacy-preserving protocols in location-based service systems
11.11.2021
Philosopher's Seminar 2021
Mechanically Verifying Purpose Limitation: Why, How, and How Often?
10.10.2021
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
07.10.2021
FMAS 2021
Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles
07.10.2021
TUHH Herbstferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM
07.07.2021
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
05.07.2021
TUHH-Ferien-Computer-Tage
Spielend Programmieren mit Scratch über ZOOM.
21.04.2021
i3-Labs-Presentation
Model guided machine learning for simulating soft tissue in medicine
02.02.2021
OS at UHH 2021
The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems
30.06.2020
Sefi 2020
Designing and analyzing open application-oriented Labs in Software-Verification Education
19.05.2020
DBSec'20
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids
25.02.2020
MARS 2020 Workshop in Dublin
Synthesizing Strategies for Needle Steering in Gelatin Phantoms
28.01.2020
fmthh Symposium at TUHH
Development of a Software Architecture for the Robot-guided Sampling and Removal of Potential Tumors by Theragnostic Pico-second Infra-red Laser
05.12.2019
Hamburg Open Online University
Kick-Off Meeting an der TUHH
23.10.2019
Open Access Week TUHH 2019
Pitfalls in a data science workflow
17.10.2019
OE-Roboterrennen
Roboterwettbewerb der Studenten
30.09.2019
Reviewer Award
19th IEEE Working Conference on Source Code Analysis and Manipulation
23.09.2019
INFORMATIK 2019
Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data
19.09.2019
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
10.09.2019
Hamburg Interdisciplinary Summer School
Governance Technologies: Privacy, Fairness & Transparency
28.08.2019
Computer Law & Security Review
Guaranteeing privacy policies using lightweight type systems
21.08.2019
CURAC 2019
An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction
05.08.2019
14th International Workshop on Models@run.time
Towards Self-Explainable Cyber-Physical Systems
15.07.2019
Ferien-Computer-Tage 2019
Schülerinnen und Schüler übten sich bei STS im Programmieren.
25.06.2019
IFIP SEC2019
Automatically Proving Purpose Limitation in Software Architectures
20.06.2019
Sommer des Wissens
IGT-Projekt beim Wissenschaftsfestival
1
2
Nächste