Explore projects

ROS Package to perform an autonomous ultrasound scan for a provided scanning trajectory by finding suitable base positions.

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

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