Explore projects

A solar powered wireless weather station based on a JeeNode

Umgeflashtes AccuCheck Gerät (OLED+Atmel)

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

Fork of the dOSEK source code for verification

Simple PDF viewer

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

Haskell-Projekt für mein Masterprojekt

dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"

Lcamtuf's p0f3, hastily turned into a dynamic library.

The cHash CLang Plugin

Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.

Clone von dOSEK für mein Masterprojekt

dOSEK for PATMOS