| 75 | -- | 76 | Rogério de Lemos. Special issue on dependable computing: theory and practice |
| 77 | -- | 96 | Ilya Tuzov, David de Andrés, Juan Carlos Ruiz. Simulating the effects of logic faults in implementation-level VITAL-compliant models |
| 97 | -- | 118 | Michael Eischer, Tobias Distler. Scalable Byzantine fault-tolerant state-machine replication on heterogeneous servers |
| 119 | -- | 138 | Raul Barbosa, Frederico Cerveira, Luís Gonçalo, Henrique Madeira. Emulating representative software vulnerabilities using field data |
| 139 | -- | 160 | Yazdan Movahedi, Michel Cukier, Ambrose Andongabo, Ilir Gashi. Cluster-based vulnerability assessment of operating systems and web browsers |
| 161 | -- | 185 | Paulo Jorge Costa Nunes, Ibéria Medeiros, José Fonseca 0002, Nuno Neves 0001, Miguel Correia 0001, Marco Vieira. An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios |