The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems.
Component and service-oriented distributed embedded real-time systems (Extended papers from ISORC 2010).
Non-functional information transmission patterns for distributed real-time Java.
Dynamic policy-driven quality of service in service-oriented information management systems.
Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size.
A scheme for reliable real-time messaging with bounded delays.
A component model for hard real-time systems: CCM with ARINC-653.