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