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
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
02.04.25
Science of Computer Programming
A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis
28.03.25
ICSOFT 2025
Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations
17.02.25
Trustworthy Systems Lab Seminar
Seminar Executable Explanations of Control Software
28.01.25
Research Visit to Helsinki
Recent Approaches to Local Search for MaxSAT and Novel Applications
28.10.24
Herbstferien Computer Tage 2024
Programmieren mit dem Arduino Uno
19.08.24
Dagstuhl-Seminar 2024
Power and Energy-aware Computing on Heterogeneous Systems
16.08.24
15th Pragmatics of SAT international workshop
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
23.07.24
TUHH Ferien-Computer-Tage 2024
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
10.07.24
15th Pragmatics of SAT international workshop
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
21.06.24
IEEE SEAI24
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
25.04.24
Zukunftstag 2024
Arduino Crashkurs bei STS
05.04.24
ETAPS 2024
Fundamental Approaches to Software Engineering
04.04.24
MARS 2024
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
15.03.24
IEEE-SEAI 2024
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
14.03.24
Mars 2024 Paper
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
04.03.24
SE2024 Student Research Competition
Code Smell Detection using Features from Version History
26.02.24
SE2024
Code Smell Detection using Features from Version History
17.08.23
TFPIE 2023
Computer Aided Design and Grading for an Electronic Functional Programming Exam
04.07.23
SAT 2023
Ole Lübke participates in the SAT 2023 Conference
12.06.23
Vor-Ort Begehung des FTI
Fakultätentag Informatik
1
2
3
4
5
next