| 1 | -- | 2 | Juliana Küster Filipe, Iman Poernomo, Ralf Reussner, Sandeep K. Shukla. Preface |
| 3 | -- | 25 | Cristóvão Oliveira, Michel Wermelinger, José Luiz Fiadeiro, Antónia Lopes. Modelling the GSM Handover Protocol in CommUnity |
| 27 | -- | 51 | Catherine Menon, Michael Johnson, Charles Lakos. Inconsistency Management and View Updates |
| 53 | -- | 71 | Malcolm Wallace. Modular Architectural Representation and Analysis of Fault Propagation and Transformation |
| 73 | -- | 90 | Viktoria Firus, Steffen Becker, Jens Happe. Parametric Performance Contracts for QML-specified Software Components |
| 91 | -- | 106 | Abdelaziz Guerrouat, Harald Richter. A Formal Approach for Analysis and Testing of Reliable Embedded Systems |
| 107 | -- | 121 | Jan Carlson, Mikael Åkerholm. An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems |
| 123 | -- | 151 | Hartmut Ehrig, Benjamin Braatz, Markus Klein, Fernando Orejas, Sonia Pérez, Elvira Pino. Object-Oriented Connector-Component Architectures |
| 153 | -- | 169 | Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants |
| 171 | -- | 197 | Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov. Adaptive Verification using Forced Simulation |
| 199 | -- | 220 | Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause. Modelling Component Behaviour with Concurrent Automata |