Real-Time and Embedded Systems Lab

• Team
  • Prof. Jan Reineke
  • Dr. Guillaume Didier
  • Gideon Mohr
  • Sophie Kahlen
  • Jonas Kell
  • 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 [Accessible from University VPN]

Jonas Kell Real-Time and Embedded Systems Lab Universität des Saarlandes eMail: Building: E 1 3 Room: 431 Coordinates: N 49.257833° E 7.045144°

Short CV

Currently, I am a PhD candidate at Saarland University under the supervision of Jan Reineke.

---

Teaching

---

Publications

•

---

---

© Real-Time and Embedded Systems Lab. Imprint Data protection.