Explore projects

The GenE Benchmark Generator (LLVM tool)

dOSEK for PATMOS

Adapted Platin for System-wide Worst Case Response Time Analysis

Collection of programs using different finite-element libraries to adaptively solve partial differential equations.

The C Annotation and Rewriting Tool

Code Metrics for Benchmarking Timing Analysis

DEPRECATED. Use aorta/WCA/platin

Open source SDR LTE software suite