13. ECBS 2006: Potsdam, Germany

Introduction

Adaptive Computing

Architectures

Design Evolution

Distributed Systems Design

Embedded and Real-Time Software Systems

Formal Methods

Model-Based System Design

Modeling and Analysis of Complex Systems I

Modeling and Analysis of Complex Systems II

Modeling and Analysis of Complex Systems III

Product-Family Models and Architectures

Reliability, Safety, Dependability, Security

System on a Chip

System Assessment, Testing, and Metrics

Verification and Validation

Doctoral Symposium Papers

Poster Session Papers