| 179 | -- | 180 | Michael Butler. Editorial |
| 181 | -- | 206 | Sarmen Keshishzadeh, Arjan J. Mooij. Formalizing and testing the consistency of DSL transformations |
| 207 | -- | 231 | Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis. A general framework for architecture composability |
| 233 | -- | 263 | Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen. Active learning for extended finite state machines |
| 265 | -- | 293 | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth. Building program construction and verification tools from algebraic principles |
| 295 | -- | 323 | Ivaylo Dobrikov, Michael Leuschel. Optimising the ProB model checker for B using partial order reduction |
| 325 | -- | 341 | Wim H. Hesselink. Correctness and concurrent complexity of the Black-White Bakery Algorithm |