| 671 | -- | 673 | John Lloyd. Special Issue on Dependable Software Systems: Associate Editor's Introduction |
| 674 | -- | 692 | Matthew Leeke, Arshad Jhumka, Sarabjot Singh Anand. Towards the Design of Efficient Error Detection Mechanisms for Transient Data Errors |
| 693 | -- | 715 | Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. BFT-TO: Intrusion Tolerance with Less Replicas |
| 716 | -- | 740 | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser. Low Latency Fault Tolerance System |
| 741 | -- | 755 | Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones. Comparing Degrees of Non-Determinism in Expression Evaluation |
| 756 | -- | 770 | Ra'ed Al-Dujaily, Terrence S. T. Mak, Kai-Pui Lam, Fei Xia, Alex Yakovlev, Chi-Sang Poon. Dynamic On-Chip Thermal Optimization for Three-Dimensional Networks-On-Chip |
| 771 | -- | 784 | Jinpyo Hong, Hwangnam Kim. A Dual Mobility Model with User Profiling: Decoupling User Mobile Patterns from Association Patterns |
| 785 | -- | 792 | Xiaoling Zhang, Jianguo Qian. q)-Labeling and Integer Flow on Planar Graphs |