| 681 | -- | 0 | Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel. Editorial |
| 683 | -- | 709 | Michael Leuschel, Jérôme Falampin, Fabian Fritz, Daniel Plagge. Automated property verification for large scale B models with ProB |
| 711 | -- | 737 | A. K. McIver, Carroll C. Morgan. Compositional refinement in agent-based security protocols |
| 739 | -- | 779 | Mark Reynolds. A tableau-based decision procedure for CTL |
| 781 | -- | 805 | Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta. Symbolic predictive analysis for concurrent programs |