Explore projects

Build scripts, coding styles, project configurations, ...

Core components of the OpenSBT framework.

This project has moved to: https://github.com/opensbt/opensbt-core

(14-11-2024)

Run FMI-based co-simulations within ROS!

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

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