Explore projects

Master Thesis at the KIT

Implementation of Lennart Henslers master thesis about synergies between stream processing and incremental model analysis.

Bootstrap repo for setting up new dev machines.