1. Checking extended CTL properties using guarded quotient structures

   • A. Prasad Sistla
   • Xiaodong Wang
   • Min Zhou

   OriginalPaper 29 June 2007 Pages: 197 - 219

2. Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)

   • Clark Barrett
   • Leonardo de Moura
   • Aaron Stump

   OriginalPaper 26 September 2007 Pages: 221 - 239

3. Finding optimal hardware/software partitions

   • Zoltán Ádám Mann
   • András Orbán
   • Péter Arató

   OriginalPaper 05 October 2007 Pages: 241 - 263

4. The word problem for visibly pushdown languages described by grammars

   • Salvatore La Torre
   • Margherita Napoli
   • Mimmo Parente

   OriginalPaper 11 October 2007 Pages: 265 - 279

5. Memory model sensitive bytecode verification

   • Thuan Quang Huynh
   • Abhik Roychoudhury

   OriginalPaper 18 October 2007 Pages: 281 - 305