| 343 | -- | 344 | Stephan Merz, Jun Pang, Jin Song Dong. Editorial |
| 345 | -- | 379 | Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik. Component-wise incremental LTL model checking |
| 381 | -- | 407 | Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe. Computing maximal weak and other bisimulations |
| 409 | -- | 440 | Mounira Kezadri Hamiaz, Marc Pantel, Xavier Thirioux, Benoît Combemale. Correct-by-construction model driven engineering composition operators |
| 441 | -- | 467 | Hamid Bagheri, Kevin J. Sullivan. Model-driven synthesis of formally precise, stylized software architectures |
| 469 | -- | 497 | Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu. A language-independent proof system for full program equivalence |
| 499 | -- | 527 | Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski. Ready for testing: ensuring conformance to industrial standards through formal verification |