Real-Time and Embedded Systems Lab
Team
Prof. Jan Reineke
Dr. Guillaume Didier
Gideon Mohr
Alumni
Dr. Sebastian Hahn
Dr. Andreas Abel
Shrey Sharma
Dr. Valentin Touzeau
Contact Information
Research
Publications
Presentations
Tools
LLVMTA
An open-source WCET analysis Tool based on the LLVM compiler infrastructure
uops.info
- Latency, Throughput, and Port Usage Information for Instructions on Recent Intel Processors
uiCA - The uops.info Code Analyzer
nanoBench
- A tool for running small microbenchmarks
Spectector
- Automatic detection of speculative information flows
chi
- Cache Hierarchy Inference
CacheAudit: A Tool for the Static Analysis of Cache Side Channels
MeMin
- Mealy Minimization
Relacs - Automatic Relative Competitive Analysis
PTARM Simulator
Sprattus - A Framework for Rapid Prototyping of Program Analyses
Thesis Topics
Teaching
Winter 2025/2026
Advanced Course: Program Analysis
Seminar: Security at the Hardware-Software Interface
Group Seminar
Earlier Courses
Summer 2025
Course: System Architecture
Group Seminar
Winter 2024/2025
Advanced Course: Program Analysis
Seminar: Hardware Security: Testing and Verification
Group Seminar
Summer 2024
Course: System Architecture
Group Seminar
Winter 2023/2024
Advanced Course: Program Analysis
Group Seminar
Summer 2023
Course: System Architecture
Group Seminar
Winter 2022/2023
Advanced Course: Program Analysis
Seminar: Microarchitectural Security via Hardware-Software Contracts
Group Seminar
Summer 2022
Course: System Architecture
Group Seminar
Winter 2021/2022
Course: Einführung in eingebettete Systeme
Group Seminar
Summer 2021
Course: Systemarchitektur
Group Seminar
Winter 2020/2021
Advanced Course: Program Analysis
Seminar: Microarchitectural Attacks and Defenses
Group Seminar
Summer 2020
Course: Systemarchitektur
Group Seminar
Winter 2019/2020
Course: Einführung in eingebettete Systeme
Advanced Course: Program Analysis
Group Seminar
Summer 2019
Course: Systemarchitektur
Group Seminar
Winter 2018/2019
Course: Einführung in eingebettete Systeme
Advanced Course: Program Analysis
Seminar/Proseminar: Hardware Design
Group Seminar
Summer 2018
Course: Systemarchitektur
Winter 2017/2018
Advanced Course: Verification of Real-Time Systems
Course: Einführung in eingebettete Systeme
Summer 2017
Course: Systemarchitektur
Summer School Course: Design and Analysis of Time-Critical Systems
Winter 2016/2017
Course: Einführung in eingebettete Systeme
Seminar/Proseminar: Hardware Design
Summer 2016
Course: Systemarchitektur
Winter 2015/2016
Seminar: Resource Sharing in Real-Time Systems
Seminar: Programming Language Implementation
Summer 2015
Advanced Course: Verification of Real-Time Systems
Winter 2014/2015
Advanced Course: Static Program Analysis
Summer 2014
Course: Systemarchitektur
Winter 2013/2014
Seminar: Robustness of Hardware and Software Systems
Summer 2013
Advanced Course: Design and Analysis of Real-Time Systems
Winter 2012/2013
Proseminar: Statische Programmanalyse
Summer 2012
Doctoral Privatissimum: The impact of resource sharing on performance and performance prediction
Basic Course: Programmieren für Ingenieure
Thesis Topics
Systemarchitektur Sommersemester 2020
Dies ist nur eine statische Kurzübersicht zur Vorlesung Systemarchitektur im Sommersemester 2020. Zur eigentlichen Webseite geht es
HIER
.