Explore projects

GuideForce Implementation

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

Energy Market for decentralized cross-commodity energy management

Software environment of the Multi-Energy Management and Aggregation Platform (MEMAP)

https://memap-projekt.de, BMWi FKZ: 03ET1413

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

Simulate PerTract-DSL instances