CoMik: A predictable and cycle-accurately composable real-time microkernel

Virtual execution platforms for mixed-time-criticality systems: The CompSOC architecture and design flow

The CompSOC design flow for virtual execution platforms

Embedded computer architecture laboratory: a hands-on experience programming embedded systems with resource and energy constraints

Power versus quality trade-offs for adaptive real-time applications

Composable Local Memory Organisation for Streaming Applications on Embedded MPSoCs

Design and implementation of an operating system for composable processor sharing

Composable power management with energy and power budgets per application

Power Minimisation for Real-time Dataflow Applications

A composable, energy-managed, realtimeMPSOC platform

Conservative application-level performance analysis through simulation of MPSoCs