| 1 | -- | 4 | Juliana Küster Filipe Bowles, Iman Poernomo, Ralf Reussner. Preface |
| 5 | -- | 23 | Andreas Rausch. DisCComp - A Formal Model for Distributed Concurrent Components |
| 25 | -- | 45 | Markus Klein, Julia Padberg, Fernando Orejas. Towards Multiple Access in Generic Component Architectures |
| 47 | -- | 67 | Björn Metzler, Heike Wehrheim. Extending a Component Specification Language with Time |
| 69 | -- | 87 | Heiko Koziolek, Viktoria Firus. Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation |
| 89 | -- | 103 | Wei Dong, Zhenbang Chen, Ji Wang. A Contract-based Approach to Specifying and Verifying Safety Critical Systems |
| 105 | -- | 124 | Lars Gesellensetter, Sabine Glesner. Only the Best Can Make It: Optimal Component Selection |
| 125 | -- | 141 | Samik Basu, Partha S. Roop, Roopak Sinha. Local Module Checking for CTL Specifications |
| 143 | -- | 154 | Pavel Parizek, Frantisek Plasil. Specification and Generation of Environment for Model Checking of Software Components |