Explore projects

contains tex source files for kOpt summary WS15/16

contains tex source files for cs summary WS15/16

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

A solar powered wireless weather station based on a JeeNode

Telephone to call ya momma journey 2017.

Umgeflashtes AccuCheck Gerät (OLED+Atmel)

Aufgaben für das Python Tutorium

Website for the TechFak Sommerfest 2017

OSEK-V top-level Git. Look here, if you want to start.

Fork of the dOSEK source code for verification

Simple PDF viewer

Vertical Verification: SSTG -> nuSMV model

Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG

Haskell-Projekt für mein Masterprojekt

Vorträge die irgendwer irgendwo mal gehalten hat.