| 161 | -- | 162 | Joé Luiz Fiadeiro. Editorial |
| 163 | -- | 186 | Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli. A formal approach to adaptive software: continuous assurance of non-functional requirements |
| 187 | -- | 216 | Natallia Kokash, Christian Krause, Erik P. de Vink. Reo + mCRL2: A framework for model-checking dataflow in service compositions |
| 217 | -- | 248 | José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto. Assertion-based slicing and slice graphs |
| 249 | -- | 266 | Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter. Cut Set Analysis using Behavior Trees and model checking |
| 267 | -- | 302 | Mieke Massink, Diego Latella, Andrea Bracciali, Michael D. Harrison, Jane Hillston. Scalable context-dependent analysis of emergency egress models |