1. 2009 CAV award announcement

   • Randal E. Bryant
   • Orna Grumberg
   • Moshe Y. Vardi

   OriginalPaper 26 May 2010 Pages: 195 - 197

2. Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications

   • Kai Lampka
   • Markus Siegle
   • Christel Baier

   OriginalPaper 10 June 2010 Pages: 198 - 222

3. Context-aware counter abstraction

   • Gérard Basler
   • Michele Mazzucchi
   • Daniel Kroening

   OriginalPaper 11 June 2010 Pages: 223 - 245

4. A game-based abstraction-refinement framework for Markov decision processes

   • Mark Kattenbelt
   • Marta Kwiatkowska
   • David Parker

   OriginalPaper 03 August 2010 Pages: 246 - 280