Explore projects

The energy system simulation tool CharL (Characteristic Line model | spoken: [ˈkaʀl]).

Automatic Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems