| 1 | -- | 2 | Jens Happe, Barbora Zimmerova. Preface |
| 3 | -- | 21 | Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi. From Architectural to Behavioural Specification of Services |
| 23 | -- | 38 | Heiko Koziolek, Franz Brosch. Parameter Dependencies for Component Reliability Specifications |
| 39 | -- | 55 | Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider. On the Specification of Full Contracts |
| 57 | -- | 75 | Michael Kuperberg, Fouad Omri. Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods |
| 77 | -- | 93 | Anne Martens, Heiko Koziolek. Automatic, Model-Based Software Performance Improvement for Component-based Software Designs |
| 95 | -- | 110 | Simona Motogna, Ioan Lazar, Bazil Pârv, István Gergely Czibula. An Agile MDA Approach for Service-Oriented Components |
| 111 | -- | 126 | Sebti Mouelhi, Samir Chouali, Hassan Mountassir. Refinement of Interface Automata Strengthened by Action Semantics |
| 127 | -- | 143 | Olaf Owe, Gerardo Schneider. Wrap Your Objects Safely |
| 145 | -- | 160 | Pavel Parizek, Jirà Adámek, Tomás Kalibera. Automated Construction of Reasonable Environment for Java Components |
| 161 | -- | 178 | Davor Slutej, John HÃ¥kansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson. Analyzing a Pattern-Based Model of a Real-Time Turntable System |
| 179 | -- | 193 | Yuhong Zhao, Franz-Josef Rammig. Model-based Runtime Verification Framework |