| 195 | -- | 197 | Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi. 2009 CAV award announcement |
| 198 | -- | 222 | Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier. Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications |
| 223 | -- | 245 | Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening. Context-aware counter abstraction |
| 246 | -- | 280 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker. A game-based abstraction-refinement framework for Markov decision processes |