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