Checking extended CTL properties using guarded quotient structures A. Prasad SistlaXiaodong WangMin Zhou OriginalPaper 29 June 2007 Pages: 197 - 219
Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006) Clark BarrettLeonardo de MouraAaron Stump OriginalPaper 26 September 2007 Pages: 221 - 239
Finding optimal hardware/software partitions Zoltán Ádám MannAndrás OrbánPéter Arató OriginalPaper 05 October 2007 Pages: 241 - 263
The word problem for visibly pushdown languages described by grammars Salvatore La TorreMargherita NapoliMimmo Parente OriginalPaper 11 October 2007 Pages: 265 - 279
Memory model sensitive bytecode verification Thuan Quang HuynhAbhik Roychoudhury OriginalPaper 18 October 2007 Pages: 281 - 305