Expanded versions of papers presented at the 4th and 5th Nordic Workshops on Dependability and Security (NODES ‘10 and NODES ‘11).
- A formal approach to H.264 video decoding on multicore systems
- Dynamic allocation and admission policies for QoS-aware provisioning systems
- A distributed design of a network recovery algorithm
- A refinement-based approach to developing critical multi-agent systems