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

A software-based technique enabling composable hierarchical preemptive scheduling for time-triggered applications

A hardware/software platform for QoS bridging over multi-chip NoC-based systems

The CompSOC design flow for virtual execution platforms

A unified execution model for multiple computation models of streaming applications on a composable MPSoC

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

Decoupled inter- and intra-application scheduling for composable and robust embedded MPSoC platforms

Online allocation for contention-free-routing NoCs

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

A Unified Execution Model for Data-Driven Applications on a Composable MPSoC

An FPGA Bridge Preserving Traffic Quality of Service for On-Chip Network-Based Systems

On-chip interconnect protocol stack exploration for FPGA board-to-board bridging

A high-level debug environment for communication-centric debug

Mapping KPN models of streaming applications on a network-on-chip platform