Projects
Current Projects
cfaed - Orchestration.
IMData.
SFB 912 HAEC: Highly-Adaptive Energy-Efficient Systems.
Past Projects
QuaOS: Verification of quantitative properties of microkernel-based systems.
Open Robust Infrastructures (ROBIN)