Explore projects

monitoring plugins i've seen myself needing to write, for whatever reason, shared with all of you :-)

Simple PDF viewer

DEPRECATED. Use aorta/WCA/platin

TACLeBench's clang repository

Python for ILS 2017

Code Metrics for Benchmarking Timing Analysis

tex files for bst summary SS16

contains tex source files for analytische zahlentheorie summary

contains tex source files for krytptographie summary

contains tex source files for cb3 summary WS16/17

contains tex source files for forensInf summary SS16

contains tex source files for pTfs summary SS16

contains tex source files for ps-OiÜ (CB2) summary SS16

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"