STS-News

Repairing Neural Networks for Image Classification Problems Using Spectrum-Based Fault Localization

Read more

Sliced Online Model Checking for Optimizing the Beam Scheduling Problem in Robotic Radiation Therapy

Read more

Code Smell Detection using Features from Version History

Read more

Code Smell Detection using Features from Version History

Read more

Computer Aided Design and Grading for an Electronic Functional Programming Exam

Read more

Ole Lübke participates in the SAT 2023 Conference

Read more

Fakultätentag Informatik

Read more

Arduino Crashkurs bei STS

Read more

Code Smell Detection using Features from Version History

Read more

Code Smell Detection using Features from Version History

Read more

STS presentation in Zoom and Gathertown

Read more

How To Derive an Electronic Functional Programming Exam from a Paper Exam with Proofs and Programming Tasks

Read more

Schüler üben sich im Programmieren

Read more

Spielend Programmieren mit Scratch

Read more

Bounded DBM-based clock state construction for timed automata in Uppaal

Read more

Power and Energy-aware Computing on Heterogeneous Systems

Read more

Ole Lübke and Sibylle Schupp participated in the MaxSAT Evaluation

Read more

Programmieren mit der Arduino-IDE und dem 2560-Mikrocontroller

Read more

Die STS Fritz-Light-Wall auf dem TUHH-Stand in Hannover

Read more

I3ProTeaching Publikumspreis für Ole Lübke (STS) und Konrad Fuger

Read more

STS auf der IdeenExpo 2022 in Hannover

Read more

Girl's Day an der TUHH

Read more

Modeling R³ Needle Steering in Uppaal

Read more

The Sigma-Calculus: A process calculus for privacy-preserving protocols in location-based service systems

Read more

Modeling R³ Needle Steering in Uppaal

Read more

STS presentation in Zoom and Gathertown

Read more

A process calculus for privacy-preserving protocols in location-based service systems

Read more

Mechanically Verifying Purpose Limitation: Why, How, and How Often?

Read more

Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design

Read more

Online Strategy Synthesis for Safe and Optimized Control of Steerable Needles

Read more

Spielend Programmieren mit Scratch über ZOOM

Read more

Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design

Read more

Spielend Programmieren mit Scratch über ZOOM.

Read more

Model guided machine learning for simulating soft tissue in medicine

Read more

The σ-Calculus - A process calculus for privacy-preserving protocols in location-based service systems

Read more

Designing and analyzing open application-oriented Labs in Software-Verification Education

Read more

Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids

Read more

Synthesizing Strategies for Needle Steering in Gelatin Phantoms

Read more

Development of a Software Architecture for the Robot-guided Sampling and Removal of Potential Tumors by Theragnostic Pico-second Infra-red Laser

Read more

Kick-Off Meeting an der TUHH

Read more

Pitfalls in a data science workflow

Read more

Roboterwettbewerb der Studenten

Read more

19th IEEE Working Conference on Source Code Analysis and Manipulation

Read more

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data

Read more

An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction

Read more

Governance Technologies: Privacy, Fairness & Transparency

Read more

Guaranteeing privacy policies using lightweight type systems

Read more

An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction

Read more

Towards Self-Explainable Cyber-Physical Systems

Read more

Schülerinnen und Schüler übten sich bei STS im Programmieren.

Read more

Automatically Proving Purpose Limitation in Software Architectures

Read more

IGT-Projekt beim Wissenschaftsfestival

Read more

STS präsentiert "Eulersche Quadrate" zum Mitmachen

Read more

Do We Need Real Data? - Testing and Training Algorithms with Artificial Geolocation Data

Read more

Since June 2019 Sibylle Schupp serves as liaison officer for GI at TUHH

Read more

Hamburg interdisciplinary Summer School

Read more

Static Analysis for Worst-Case Battery Utilization

Read more

STS präsentiert Software zum Anfassen

Read more

Kickoff M4 Project

Read more

Automatically Proving Purpose Limitation in Software Architectures

Read more