1. On the refinement of liveness properties of distributed systems

   • Paul C. Attie

   OriginalPaper 04 May 2011 Pages: 1 - 46

2. Verification of continuous dynamical systems by timed automata

   • Christoffer Sloth
   • Rafael Wisniewski

   OriginalPaper 29 April 2011 Pages: 47 - 82

3. Automatic analysis of DMA races using model checking and k-induction

   • Alastair F. Donaldson
   • Daniel Kroening
   • Philipp Rümmer

   OriginalPaper 28 June 2011 Pages: 83 - 113