1. Multi-model workload specifications and their application to cyber-physical systems;Research Directions: Cyber-Physical Systems;2024
2. ReTiF: A declarative real-time scheduling framework for POSIX systems;Journal of Systems Architecture;2021-09
3. REBOUND;Proceedings of the Sixteenth European Conference on Computer Systems;2021-04-21
4. Migrating Constant Bandwidth Servers on Multi-Cores;29th International Conference on Real-Time Networks and Systems;2021-04-07
5. Reducing Dynamic Power Consumption in Mixed-Critical Real-Time Systems;Applied Sciences;2020-10-16