| 1 | -- | 28 | Amnon H. Eden, Epameinondas Gasparis, Jonathan Nicholson, Rick Kazman. Modeling and visualizing object-oriented programs with Codecharts |
| 29 | -- | 60 | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister. Time-triggered runtime verification |
| 61 | -- | 92 | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis. Automatic verification of competitive stochastic systems |
| 93 | -- | 120 | Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger. Ranking function synthesis for bit-vector relations |