Explore projects

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

A lightweight agent for Java applications to sample CPU traces. We use the traces to derive resource profiles within PerTract-DSL instances

Bonus assisgnments for the Advanced Practical Course - Blockchain technology for public sector innovation (IN2106, IN4212) at TUM.

The chaincode used by Evidentia project in a Hyperledger Fabric Network.

Run FMI-based co-simulations within ROS!