• Amir Pnueli (joint with FORTE 2005)
  "Ranking Abstraction as a Companion to Predicate Abstraction" [slides][SpringerLink]
  
  
• Zohar Manna
  "Termination and Invariance Analysis of Loops" [slides][SpringerLink]
  
  
• Wolfgang Thomas
  " Some Perspectives of Infinite-State Verification " [slides][SpringerLink]