STS-News

02.04.25
A Provably Safe Controller for the Needle-Steering Problem using Online Strategy Synthesis
28.03.25
Efficient Hit-Spectrum-Guided Fast Gradient Sign Method: An Adjustable Approach with Memory and Runtime Optimizations
17.02.25
Seminar Executable Explanations of Control Software
28.01.25
Recent Approaches to Local Search for MaxSAT and Novel Applications
28.10.24
Programmieren mit dem Arduino Uno
19.08.24
Power and Energy-aware Computing on Heterogeneous Systems
16.08.24
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
23.07.24
Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller
10.07.24
IGMaxHS – An Incremental MaxSAT Solver with Support for XOR Clauses
21.06.24
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
25.04.24
Arduino Crashkurs bei STS
05.04.24
Fundamental Approaches to Software Engineering
04.04.24
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
15.03.24
Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization
14.03.24
Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy
04.03.24
Code Smell Detection using Features from Version History
26.02.24
Code Smell Detection using Features from Version History
17.08.23
Computer Aided Design and Grading for an Electronic Functional Programming Exam
04.07.23
Ole Lübke participates in the SAT 2023 Conference
12.06.23
Fakultätentag Informatik