Explore projects

Security/Threat Analysis on Autonomous Navigation

WCET-Aware Reachability for Verified Simplex Design

Unterlagen für die Vorlesung zu MATSim im Rahmen von Verkehrsmodellierung an der TUHH, Sommersemester 2023

Eine wachsende Sammlung von Übungen zu Python

Automatic Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems

Wer (Ausweisnummer) war zu welcher Zeit in der Bibliothek? Nachverfolgung im Corona-Infektionsfall.

LaTeX Vorlage des Instituts für Technische Thermodynamik (M21) für Abschlussarbeiten. Basierend auf dem Cookbook von Alex Povel.

Structure and Best Practices for the EIM Mattermost Team

Materialien zur Mathematik I (Analysis I / Lineare Algebra I)

Django/Wagtail CMS ersatz für die alte Wordpress-Seite.